diff options
Diffstat (limited to 'src/expr/kind_template.cpp')
-rw-r--r-- | src/expr/kind_template.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/kind_template.cpp b/src/expr/kind_template.cpp index d325d24b4..77468687c 100644 --- a/src/expr/kind_template.cpp +++ b/src/expr/kind_template.cpp @@ -92,7 +92,7 @@ TheoryId typeConstantToTheoryId(::CVC4::TypeConstant typeConstant) switch (typeConstant) { ${type_constant_to_theory_id} -#line 94 "${template}" +#line 96 "${template}" case LAST_TYPE: break; } throw IllegalArgumentException( |