search

MfesGA / Smtlib

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

fix typo: produce-assignnments -> produce-assignments #11

Open msakai opened 8 years ago

msakai commented 8 years ago

This fixes typo in Smtlib/Parsers/CommandsParsers.hs.