From 42cb27c973e27171a9bc65bf99682bef954f3db8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 14 Nov 2011 14:36:24 +0000
Subject: [PATCH] ifix typo.

---
 library/varnumbers.yap | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/library/varnumbers.yap b/library/varnumbers.yap
index a768c9727..08394d821 100644
--- a/library/varnumbers.yap
+++ b/library/varnumbers.yap
@@ -31,4 +31,4 @@ max_var_numberl(I0,Ar,T,Max0,Max) :-
 	).
 
 varnumbers(GT, VT) :-
-	unnumber_vars(GT, VT).
+	unnumbervars(GT, VT).