From 50768fba487e1ec08278cdc4be614863db32a5c4 Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Tue, 29 Jun 2021 18:21:31 +0000
Subject: Make parse return a list of clauses. Also pretty print the entire
 list of clauses.

---
 fns.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'fns.h')

diff --git a/fns.h b/fns.h
index 6878a24..81a2f08 100644
--- a/fns.h
+++ b/fns.h
@@ -1,5 +1,5 @@
 /* parser.c */
-void parse(int);
+Term *parse(int);
 
 /* prettyprint.c */
 Rune *prettyprint(Term *);
-- 
cgit v1.2.3