summaryrefslogtreecommitdiff
path: root/src/errormsg.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-10-19 17:54:49 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2010-10-19 17:54:49 -0400
commit6812db5bd02a37ca0fbf0f04b379ec599f10fd5a (patch)
treee98246a5e91470c3dc887a34af6b88dd13fcd683 /src/errormsg.sig
parentf7ec390b4c8f0d6173c00b76dafb9e3beb96c75b (diff)
Fixes for nasty bugs in Reduce and Especialize
Diffstat (limited to 'src/errormsg.sig')
0 files changed, 0 insertions, 0 deletions