From 4844e4370408936d1d36d05b14c60eab1b117002 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 23 Oct 2014 01:24:18 +0100
Subject: [PATCH] flags

---
 packages/cplint/lpadvel.pl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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]).