Commit 1df61136 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain
Browse files

fix singleton variable warning for tropical.pl

parent aaa194df
......@@ -553,8 +553,12 @@ tropicalize :-
close(ovidiu_file),
nb_delete(ovidiu_file)
;
debugging(tropical)
->
statistics(cputime, Time1),
Time is Time1 - Time0,
debug(tropical, "Time: ~f~n~w variables~n", [Time, VL])
;
true
)
).
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment