From 1d84d39b00dc1e6ac8d11bd4ab22133638acb506 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Mon, 1 Aug 2016 19:14:51 -0500 Subject: [PATCH] fix fix --- C/cdmgr.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/C/cdmgr.c b/C/cdmgr.c index 66c63cc9b..02ea2fc30 100644 --- a/C/cdmgr.c +++ b/C/cdmgr.c @@ -1699,7 +1699,8 @@ bool Yap_addclause(Term t, yamop *cp, Term tmode, Term mod, Term *t4ref) mode = assertz; } else { Yap_Error(DOMAIN_ERROR_OUT_OF_RANGE, tmode, - "compilation mode used to assert") return false; + "compilation mode used to assert"); + return false; } if (IsApplTerm(t) && FunctorOfTerm(t) == FunctorAssert) tf = ArgOfTerm(1, t);