From 2c3e688c3f779f0abfaad887f13ab2b70c9f814a Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Wed, 30 Jun 2021 01:58:24 +0000
Subject: Add backtracking to the evaluator. This means we have to keep track
 of choicepoints which is implemented the easy but wasteful way for now.

I have also added a number which is used to differentiate variables from different application of the clauses.
---
 fns.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'fns.h')

diff --git a/fns.h b/fns.h
index 70a1d96..92794bf 100644
--- a/fns.h
+++ b/fns.h
@@ -5,7 +5,7 @@ Term *parse(int);
 Rune *prettyprint(Term *);
 
 /* misc.c */
-Term *copyterm(Term *);
+Term *copyterm(Term *, uvlong *);
 Term *appendterm(Term *, Term *);
 int termslength(Term *);
 Term *mkatom(Rune *);
-- 
cgit v1.2.3