FIXED: Possible assertion error due to unify refactoring.

SWI-Prolog · Jun 8, 2024 · 353ea85 · 353ea85
1 parent fb45178
commit 353ea85
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/pl-prims.c b/src/pl-prims.c
@@ -386,6 +386,7 @@ do_unify(DECL_LD Word t1, Word t2)
       break;
     if ( rc != DO_COMPOUND )
       break;
+    rc = TRUE;
 
     f1 = valueTerm(*t1);
     f2 = valueTerm(*t2);
@@ -396,9 +397,7 @@ do_unify(DECL_LD Word t1, Word t2)
     while ( isRef(f2->definition) )
       f2 = (Functor)unRef(f2->definition);
     if ( f1 == f2 )
-    { rc = TRUE;
       continue;
-    }
 #endif
 
     if ( f1->definition != f2->definition )