projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc4121b) | patch
repairs a bug in rewriterule engine: constructor cannot be used as a pattern
authorTianyi Liang <tianyi-liang@uiowa.edu>
Thu, 14 Feb 2013 05:12:04 +0000 (23:12 -0600)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 15 Feb 2013 15:17:37 +0000 (10:17 -0500)
commit1848dd58c980e49cd0ebe54ff39891e64da752d4
treef7313e726a2da61f7613ac47ee6802b918ba865etree
parentfc4121b761dd524ad5fe37789381e5814737e6b9commit | diff
repairs a bug in rewriterule engine: constructor cannot be used as a pattern
(cherry picked from commit c33a1abc78bcd51f3f95562b117498caf252cafc)

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
src/theory/rewriterules/rr_trigger.h diff | blob | history