Change the return type of Predicate::evaluate

[c11tester.git] / classlist.h

diff --git a/classlist.h b/classlist.h
index 65ac08df62da8bb64cdab4955bcdc8f5172de7d1..4cd97b3753e1075094de848f59a041c288748bd9 100644 (file)
--- a/classlist.h
+++ b/classlist.h
@@ -19,6 +19,7 @@ class NewFuzzer;
 class FuncNode;
 class FuncInst;
 class Predicate;
+class ConcretePredicate;
 
 struct model_snapshot_members;
 struct bug_message;