diff options
| author | Tim King <taking@cs.nyu.edu> | 2018-02-07 16:11:36 -0800 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-02-07 16:11:36 -0800 |
| commit | db6d6f0f330b28a68841a4c75b63d61b434496ba (patch) | |
| tree | 93abb18b4f6adf2b69d4d3f0a3117a690697316f | |
| parent | 7d325a44dcfce54dd9195b7ee49fb93a1aed3a06 (diff) | |
Fixing line numbers on type_checker_template.cpp (#1574)
| -rw-r--r-- | src/expr/type_checker_template.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/type_checker_template.cpp b/src/expr/type_checker_template.cpp index bb02528c7..ed615c874 100644 --- a/src/expr/type_checker_template.cpp +++ b/src/expr/type_checker_template.cpp @@ -65,7 +65,7 @@ bool TypeChecker::computeIsConst(NodeManager* nodeManager, TNode n) switch(n.getKind()) { ${construles} -#line 70 "${template}" +#line 69 "${template}" default:; } @@ -81,7 +81,7 @@ bool TypeChecker::neverIsConst(NodeManager* nodeManager, TNode n) switch(n.getKind()) { ${neverconstrules} -#line 87 "${template}" +#line 85 "${template}" default:; } |