diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-05-16 18:20:09 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-05-16 18:20:09 +0000 |
commit | 5212180d05110bbec3ed76e70e985d317ff450c5 (patch) | |
tree | 7bc2479b7ca3f817e14f354d44964c21be03ec1f /src/theory | |
parent | b397854addc26caa30e710e520b0e69b83ec583c (diff) |
Fixing C compatibility library (it still had a reference to CONST_INTEGER).
This hopefully fixes the Debian build.
Diffstat (limited to 'src/theory')
0 files changed, 0 insertions, 0 deletions