added parsing of justifications

1 files changed, 1 insertions, 0 deletions

diff --git a/operetta.h b/operetta.h
index 17a0251..6d348ed 100644
--- a/operetta.h
+++ b/operetta.h
@@ -4,5 +4,6 @@
 #include "proposition.h"
 void write_line(line_t line);
 void write_prop(prop_t prop);
+void write_just(just_t just);
 char* read_file(char* path);
 #endif