From d690ffdb1880b59d5a00b2b78c8175545cfcdd32 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Thu, 3 Nov 2011 07:49:06 +0900 Subject: [PATCH] make ground.yap use new C-code. --- pl/ground.yap | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pl/ground.yap b/pl/ground.yap index 2f1a18be1..f3ef2b2db 100644 --- a/pl/ground.yap +++ b/pl/ground.yap @@ -48,8 +48,6 @@ ground(Term) :- ground(ArgN), '$ground'(M, Term). -*/ - numbervars(Term, M, N) :- '$variables_in_term'(Term, [], L), '$numbermarked_vars'(L, M, N). @@ -62,3 +60,5 @@ numbervars(Term, M, N) :- M1 is M+1, '$numbermarked_vars'(L, M1, N). +*/ +