From 2f7ac38cca2ebab41b8adb76b69e0949eeae488d Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Tue, 13 Jun 2023 01:59:43 -0700
Subject: fixed bugs, just_is_sound works for conjunct intro

---
 eval.h | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 eval.h

(limited to 'eval.h')

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
-- 
cgit v1.3.1