projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ed0b43) | patch
Fix some line-numbering in auto-generated metakind.h. Thanks to Martin Brain for...
authorMorgan Deters <mdeters@cs.nyu.edu>
Mon, 9 Sep 2013 19:27:22 +0000 (15:27 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 9 Sep 2013 21:21:42 +0000 (17:21 -0400)
commit9d0734cf73454ecfd51556ca84daaba9025b28f8
treecb8def5eedd58a3d8582e0b8fa6963d2d20717a2tree
parent2ed0b432fd9018f55755a1e6293e66540d58e2dbcommit | diff
Fix some line-numbering in auto-generated metakind.h.  Thanks to Martin Brain for reporting this.
src/expr/metakind_template.h diff | blob | history
src/expr/mkmetakind diff | blob | history