From 43bfe5935b3f1d38775c3bc65262aca5683c0fb5 Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Sun, 11 Jun 2023 23:33:40 -0700
Subject: added parsing of justifications

---
 operetta.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'operetta.h')

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