diff options
author | Tim King <taking@cs.nyu.edu> | 2012-02-16 00:54:12 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-02-16 00:54:12 +0000 |
commit | 67c6e89c904f76a268f9297b7589559a262583e0 (patch) | |
tree | 931766422986af03259c2c3c75221fb61be523e9 /contrib/Makefile.am | |
parent | 9a0a59d5c85c4a1d2469f43e9d2b433e156810ba (diff) |
Last commit accidentally lacked r2778 and r2779 from integer2. I have manually brought these changes over. Changed the tests used by test/regress/regress0/arith/integers/Makefile.am to be 15 of the more interesting tests. Did a bit of cleanup on TheoryArith to eliminate a warning and remove dead code.
Diffstat (limited to 'contrib/Makefile.am')
0 files changed, 0 insertions, 0 deletions