projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06e0882) | patch
set the default expression-printing depth to "unlimited"
authorMorgan Deters <mdeters@gmail.com>
Thu, 30 Aug 2012 21:13:44 +0000 (21:13 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 30 Aug 2012 21:13:44 +0000 (21:13 +0000)
commitec9e426df607f13e5a0c0f52fbc6ed5dbb79fdf9
tree6293f02761b5c8c07d4b37ce6a82045ae51336f4tree
parent06e088262574a9f3e1638d89b93a25ae83514820commit | diff
set the default expression-printing depth to "unlimited"
src/expr/expr_template.h diff | blob | history