tabbing plus lots of memory fixes

[c11tester.git] / classlist.h

diff --git a/classlist.h b/classlist.h
index 09aa09d134e19c1e4160896fde3a935424fc7ab6..641a148103b73f98a1d5448a9ff755867368e372 100644 (file)
--- a/classlist.h
+++ b/classlist.h
@@ -8,6 +8,7 @@ class CycleNode;
 class ModelAction;
 class ModelChecker;
 class ModelExecution;
+class ModelHistory;
 class Node;
 class NodeStack;
 class Scheduler;