From 753170bf7c55d45769fb325fb186da814e932f19 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Fri, 20 Apr 2012 12:28:42 +0200 Subject: [PATCH] fix synatx error. --- pl/consult.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pl/consult.yap b/pl/consult.yap index ff597811d..93450bf7f 100644 --- a/pl/consult.yap +++ b/pl/consult.yap @@ -1012,7 +1012,7 @@ absolute_file_name(File,Opts,TrueFileName) :- '$set_yap_flags'(11,0). '$fetch_comp_status'(assert_all) :- - catch(nb_getval('$assert_all',on), _, fail) !. + catch(nb_getval('$assert_all',on), _, fail), !. '$fetch_comp_status'(source) :- '$access_yap_flags'(11,1). '$fetch_comp_status'(compact).