diff --git a/pl/ground.yap b/pl/ground.yap
index 2f1a18be1..13b524afc 100644
--- a/pl/ground.yap
+++ b/pl/ground.yap
@@ -55,9 +55,11 @@ 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).