diff options
Diffstat (limited to 'src/parser/parser.cpp')
| -rw-r--r-- | src/parser/parser.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp index 5beec6565..eae9636a2 100644 --- a/src/parser/parser.cpp +++ b/src/parser/parser.cpp @@ -536,7 +536,6 @@ api::Term Parser::applyTypeAscription(api::Term t, api::Sort s) api::Sort etype = t.getSort(); if (etype.isConstructor()) { - api::Sort etype = t.getSort(); // get the datatype that t belongs to api::Sort etyped = etype.getConstructorCodomainSort(); api::Datatype d = etyped.getDatatype(); |