More fuzzing changes
[c11tester.git] / clockvector.h
index e19a2113a5e10f9860669656bb1583ec91da3620..0e5ba8656c605b5de48108eebf5fd17cee35a7f0 100644 (file)
@@ -7,9 +7,7 @@
 
 #include "mymemory.h"
 #include "modeltypes.h"
-
-/* Forward declaration */
-class ModelAction;
+#include "classlist.h"
 
 class ClockVector {
 public: