search

MfesGA / Smtlib

Parser for smt-lib Command responses
MIT License
2 stars 6 forks source link

Fixing typo: 'define-fun-recs' -> 'define-funs-rec' #20

Open msakai opened 8 years ago

msakai commented 8 years ago

This PR fixes a typo which I introduced in the PR #14.