From 2144835fe5a431958332faa2b71c5e74466718e0 Mon Sep 17 00:00:00 2001 From: vsc Date: Sat, 18 Sep 2004 02:19:09 +0000 Subject: [PATCH] get rid of debugging info git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1143 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- pl/ground.yap | 2 -- 1 file changed, 2 deletions(-) diff --git a/pl/ground.yap b/pl/ground.yap index 13b524afc..2f1a18be1 100644 --- a/pl/ground.yap +++ b/pl/ground.yap @@ -55,11 +55,9 @@ numbervars(Term, M, N) :- '$numbermarked_vars'(L, M, N). '$numbermarked_vars'([], M, M). - /* '$numbermarked_vars'([V|L], M, N) :- attvar(V), !, '$numbermarked_vars'(L, M, N). - */ '$numbermarked_vars'(['$VAR'(M)|L], M, N) :- M1 is M+1, '$numbermarked_vars'(L, M1, N).