1 files changed, 1 insertions, 0 deletions
diff --git a/parse.h b/parse.h
index 320ca45..67d7160 100644
--- a/parse.h
+++ b/parse.h
@@ -17,4 +17,5 @@ lineSet_t parse_lines(char* content, int lineCount);
 line_t parse_line(char* content);
 prop_t parse_proposition(tokenSet_t tokenSet, int* seek, char isNegative);
 just_t parse_justification(tokenSet_t tokenSet);
+char peq(prop_t prop1, prop_t prop2);
 #endif