ifix typo.
This commit is contained in:
parent
c637863616
commit
42cb27c973
@ -31,4 +31,4 @@ max_var_numberl(I0,Ar,T,Max0,Max) :-
|
|||||||
).
|
).
|
||||||
|
|
||||||
varnumbers(GT, VT) :-
|
varnumbers(GT, VT) :-
|
||||||
unnumber_vars(GT, VT).
|
unnumbervars(GT, VT).
|
||||||
|
Reference in New Issue
Block a user