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

fix broken semantics.

Browse Source
This commit is contained in:
Vítor Santos Costa 2014-10-11 14:08:39 +01:00
parent 5312086b60
commit e3e1bcaca8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
C/globals.c
View File

@ -1372,7 +1372,7 @@ p_nb_getval( USES_REGS1 )
if (!ge) { if (!ge) {
Term t3 = Deref(ARG3); Term t3 = Deref(ARG3);
if (IsVarTerm(t3)) if (IsVarTerm(t3))
return FALSE; return TRUE; // weird stuff, but allows using an handler.
if (IsApplTerm(t3)) { if (IsApplTerm(t3)) {
if (FunctorOfTerm(t3) == FunctorEq) if (FunctorOfTerm(t3) == FunctorEq)
return Yap_unify( ArgOfTerm(1, t3) , ArgOfTerm(2, t3) ); return Yap_unify( ArgOfTerm(1, t3) , ArgOfTerm(2, t3) );