Clear headers

[c11tester.git] / funcnode.cc

diff --git a/funcnode.cc b/funcnode.cc
index 8cd81423f710e9fa222ce3892ab2f91808cbb8a9..af268aad0d0cf95c3fbca6d8b32f134dc6f2af1a 100644 (file)
--- a/funcnode.cc
+++ b/funcnode.cc
@@ -1,5 +1,8 @@
+#include "action.h"
 #include "history.h"
 #include "funcnode.h"
+#include "funcinst.h"
+#include "predicate.h"
 #include "concretepredicate.h"
 
 FuncNode::FuncNode(ModelHistory * history) :