1 files changed, 6 insertions, 0 deletions
diff --git a/eval.h b/eval.h
new file mode 100644
index 0000000..bb994f3
--- /dev/null
+++ b/eval.h
@@ -0,0 +1,6 @@
+#ifndef EVAL
+#define EVAL
+#include "proposition.h"
+#include "parse.h"
+char just_is_sound(prop_t prop, just_t just, lineSet_t lines);
+#endif