search

kroening / fastsynth

Other
3 stars 1 forks source link

unary minus incorrectly parsed #94

Closed polgreen closed 3 years ago

polgreen commented 3 years ago 
(constraint (= 10 (+ 10 (- 1))))

This produces the error "mismatching types for binary operator". Removing the unary minus fixes it