singleton var

b74cc441 · SOLIMAN Sylvain · 4194f625 · b74cc441
Commit b74cc441 authored Oct 17, 2015 by SOLIMAN Sylvain
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

util.pl util.pl +1 -1

No files found.
--- a/util.pl
+++ b/util.pl
@@ -108,6 +108,6 @@ executable_filename(Filename) :-
  current_prolog_flag(os_argv, [_Swipl, _X, Filename | _]).


-user:message_hook(Msg, warning, Lines) :-
+user:message_hook(_Msg, warning, _Lines) :-
  count(warnings, _),
  fail.