projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f4764b) | patch
Fix to bug 251 (non-spurious warnings in builds) by shifting metakind array by 1...
authorMorgan Deters <mdeters@gmail.com>
Mon, 14 Mar 2011 19:51:26 +0000 (19:51 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 14 Mar 2011 19:51:26 +0000 (19:51 +0000)
commitc5135c27ed486e0808c29b20857c54d1fe6bfe3e
tree57c1e469db4fb69fcadab126e437b03f67b09c47tree
parent0f4764b2f0e64be5df31cd87a27363cf59045665commit | diff
Fix to bug 251 (non-spurious warnings in builds) by shifting metakind array by 1 to handle the UNDEFINED_KIND case.
src/expr/metakind_template.h diff | blob | history