Fixes missing comparison in eq_pprod_hobj

SRI-CSL / yices2

The Yices SMT Solver

https://yices.csl.sri.com/

GNU General Public License v3.0

360 stars 45 forks source link

Fixes missing comparison in eq_pprod_hobj #520

Closed Ovascos closed 3 weeks ago

Ovascos commented 3 weeks ago

fixes #519

coveralls commented 3 weeks ago

coverage: 65.728%. remained the same when pulling f3ad6904a7461056099b39d3d37976635a386265 on Ovascos:issue-519 into f06761440620cb803af6275baaefd3cbe880bb70 on SRI-CSL:master.