diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix fix

Browse Source
This commit is contained in:
Vitor Santos Costa 2016-08-01 19:14:51 -05:00
parent afc6e64db2
commit 1d84d39b00
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
C/cdmgr.c
View File

@ -1699,7 +1699,8 @@ bool Yap_addclause(Term t, yamop *cp, Term tmode, Term mod, Term *t4ref)
mode = assertz; mode = assertz;
} else { } else {
Yap_Error(DOMAIN_ERROR_OUT_OF_RANGE, tmode, 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) if (IsApplTerm(t) && FunctorOfTerm(t) == FunctorAssert)
tf = ArgOfTerm(1, t); tf = ArgOfTerm(1, t);