From 504306d65149a0ae76b95007756f39410f09c97c Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Mon, 5 Apr 2010 12:20:59 +0100 Subject: [PATCH] fix fast_proofs in ProbLog (obs from A Kimmig, F Riguzzi). --- packages/ProbLog/problog/flags.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/ProbLog/problog/flags.yap b/packages/ProbLog/problog/flags.yap index 6e1324c40..233b8eca9 100644 --- a/packages/ProbLog/problog/flags.yap +++ b/packages/ProbLog/problog/flags.yap @@ -480,7 +480,7 @@ set_problog_flag(fast_proofs,true) :- assert(fast_proofs(true)). set_problog_flag(fast_proofs,false) :- retractall(fast_proofs(_)), - assert(fast_proofs(true)). + assert(fast_proofs(false)). set_problog_flag(fast_proofs,V) :- format(user,'\% ERROR: value ~w should be \'true\' or \'false\'!~n',[V]), flush_output(user),