add a new class 'ModelHistory'

[c11tester.git] / classlist.h

diff --git a/classlist.h b/classlist.h
index 09aa09d..641a148 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;