projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
c378d29
)
Minor cleanup.
author
Morgan Deters
<mdeters@cs.nyu.edu>
Wed, 4 Dec 2013 21:45:23 +0000
(16:45 -0500)
committer
Morgan Deters
<mdeters@cs.nyu.edu>
Wed, 4 Dec 2013 22:14:08 +0000
(17:14 -0500)
src/expr/type_checker_template.cpp
patch
|
blob
|
history
diff --git
a/src/expr/type_checker_template.cpp
b/src/expr/type_checker_template.cpp
index cf72d4e4ef44046bf741963697e2989361b5d3b7..29584216059aad9caef909c2fecc18dbf57035c7 100644
(file)
--- a/
src/expr/type_checker_template.cpp
+++ b/
src/expr/type_checker_template.cpp
@@
-83,7
+83,7
@@
bool TypeChecker::neverIsConst(NodeManager* nodeManager, TNode n)
switch(n.getKind()) {
${neverconstrules}
switch(n.getKind()) {
${neverconstrules}
-#line
90
"${template}"
+#line
87
"${template}"
default:;
}
default:;
}