1 files changed, 2 insertions, 1 deletions
diff --git a/fns.h b/fns.h
index 6435499..4e713b0 100644
--- a/fns.h
+++ b/fns.h
@@ -11,7 +11,8 @@ int termslength(Term *);
 Term *mkatom(Rune *);
 Term *mkvariable(Rune *);
 Term *mkcompound(Rune *, int, Term *);
-Term *mknumber(int, vlong, double);
+Term *mkfloat(double);
+Term *mkinteger(vlong);
 Term *mkstring(Rune *);
 Term *mklist(Term *);
 Clause *copyclause(Clause *, uvlong *);