Merge branch 'master' into hint-real-decisions

SRI-CSL · Jun 20, 2024 · 6f93e3d · 6f93e3d
2 parents 8d48ab1 + 558d951
commit 6f93e3d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/terms/terms.c b/src/terms/terms.c
@@ -1044,7 +1044,7 @@ static bool eq_pprod_hobj(pprod_term_hobj_t *o, int32_t i) {
 
   table = o->tbl;
 
-  return kind_for_idx(table, i) == POWER_PRODUCT && pprod_for_idx(table, i);
+  return kind_for_idx(table, i) == POWER_PRODUCT && pprod_for_idx(table, i) == o->r;
 }
 
 static bool eq_poly_hobj(poly_term_hobj_t *o, int32_t i) {