Clarified the use of variable in API comments.

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

368 stars 46 forks source link

Closed disteph closed 2 years ago

disteph commented 2 years ago

The API comments were inconsistent in the use of the words "variable" versus "uninterpreted term".