Fixes missing comparison in eq_pprod_hobj (#520)

Co-authored-by: Thomas Hader <[email protected]>
SRI-CSL · Jun 18, 2024 · 558d951 · 558d951
1 parent f067614
commit 558d951
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) {