add a new class 'ModelHistory'
[c11tester.git] / classlist.h
index 09aa09d..641a148 100644 (file)
@@ -8,6 +8,7 @@ class CycleNode;
 class ModelAction;
 class ModelChecker;
 class ModelExecution;
+class ModelHistory;
 class Node;
 class NodeStack;
 class Scheduler;