fix a warning in an api test

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

370 stars 47 forks source link

fix a warning in an api test #489

Closed ahmed-irfan closed 7 months ago

coveralls commented 7 months ago

coverage: 65.531%. remained the same when pulling d2971a98d9d56e223d6093934608d856babb8555 on fix-check-api-warning into ecac3fd9d28ac3ed3de194613c36bb86115b4b3d on master.