FIXED: unification of zero-arity compounds

SWI-Prolog · Jun 14, 2024 · 03b98f3 · 03b98f3
1 parent 49dbf6f
commit 03b98f3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/pl-prims.c b/src/pl-prims.c
@@ -364,6 +364,7 @@ do_unify(DECL_LD Word t1, Word t2)
     return rc;
   if ( rc != DO_COMPOUND )
     return rc;
+  rc = TRUE;
 
   Functor f1 = valueTerm(*t1);
   Functor f2 = valueTerm(*t2);