diff options
author | Tim King <taking@cs.nyu.edu> | 2011-10-28 18:35:27 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2011-10-28 18:35:27 +0000 |
commit | 9547a48a7cdab8786c080779930de9c39655c52b (patch) | |
tree | 7d95aeef2b6153f1f7ce36b9a9437263461ea2ce /src/proof/Makefile | |
parent | c9482b86edaabbd49f509c4477d0c181b2ebe33f (diff) |
Adding a check in Polynomial::parsePolynomial to better enforce the arithmetic normal form when assertions are enabled.
Diffstat (limited to 'src/proof/Makefile')
0 files changed, 0 insertions, 0 deletions