projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b397854) | patch
Fixing C compatibility library (it still had a reference to CONST_INTEGER).
authorMorgan Deters <mdeters@gmail.com>
Wed, 16 May 2012 18:20:09 +0000 (18:20 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 16 May 2012 18:20:09 +0000 (18:20 +0000)
commit5212180d05110bbec3ed76e70e985d317ff450c5
tree7bc2479b7ca3f817e14f354d44964c21be03ec1ftree
parentb397854addc26caa30e710e520b0e69b83ec583ccommit | diff
Fixing C compatibility library (it still had a reference to CONST_INTEGER).

This hopefully fixes the Debian build.
src/bindings/compat/c/c_interface.cpp diff | blob | history