summaryrefslogtreecommitdiff
path: root/fns.h
diff options
context:
space:
mode:
Diffstat (limited to 'fns.h')
-rw-r--r--fns.h3
1 files changed, 3 insertions, 0 deletions
diff --git a/fns.h b/fns.h
index d548d6e..2af6b2b 100644
--- a/fns.h
+++ b/fns.h
@@ -72,3 +72,6 @@ int isemptylist(Term *);
int isnonemptylist(Term *);
Term *listhead(Term *);
Term *listtail(Term *);
+
+/* arithmetic.c */
+Term *aritheval(Term *, int *); \ No newline at end of file