diff --git a/packages/cplint/lpadvel.pl b/packages/cplint/lpadvel.pl
index 64d22ab4b..84c8060f0 100644
--- a/packages/cplint/lpadvel.pl
+++ b/packages/cplint/lpadvel.pl
@@ -10,8 +10,8 @@
 :- set_prolog_flag(unknown,error).
 :- set_prolog_flag(profiling,on).
 :- set_prolog_flag(debug,true).
-:- set_prolog_flag(discontiguous_warnings,true).
-:- set_prolog_flag(single_var_warnings,true).
+:- set_prolog_flag(discontiguous_warnings,on).
+:- set_prolog_flag(single_var_warnings,on).
 :-source.
 %:- module(lpadclpbn, [p/1,
 %		  s/2,sc/3,s/6,sc/7,set/2,setting/2]).