projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e9d8ae3) | 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)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Thu, 14 Feb 2013 05:12:04 +0000 (23:12 -0600)
commitc33a1abc78bcd51f3f95562b117498caf252cafc
tree51528bcb774091e02fede9f268fb2eb904fc7e16tree
parente9d8ae34db4c4a8161cc1abdfb225c3e9e2bd9eecommit | diff
repairs a bug in rewriterule engine: constructor cannot be used as a pattern
src/theory/rewriterules/rr_trigger.h diff | blob | history