diff options
Diffstat (limited to 'src/expr/declaration_scope.cpp')
| -rw-r--r-- | src/expr/declaration_scope.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/expr/declaration_scope.cpp b/src/expr/declaration_scope.cpp index bd128267a..0c76ea845 100644 --- a/src/expr/declaration_scope.cpp +++ b/src/expr/declaration_scope.cpp @@ -136,7 +136,6 @@ Type DeclarationScope::lookupType(const std::string& name, return instantiation; } else { - Assert(p.second.isSort()); if(Debug.isOn("sort")) { Debug("sort") << "instantiating using a sort substitution" << endl; Debug("sort") << "have formals ["; |