typo fix

ModelWriter · Oct 18, 2017 · 49080eb · 49080eb
1 parent f4bdd1e
commit 49080eb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Shell/SymbolDefinitionInlining.cpp b/Shell/SymbolDefinitionInlining.cpp
@@ -160,7 +160,7 @@ TermList SymbolDefinitionInlining::process(TermList ts) {
 bool SymbolDefinitionInlining::mirroredTuple(Term* tuple, TermList &tupleConstant) {
   bool foundTupleConstant = false;
   unsigned tupleSort = env.signature->getFunction(tuple->functor())->fnType()->result();
-  ASS(env.sorts->hasStructuredSort(tupleSort, StructuredSort::TUPLE));
+  ASS(env.sorts->hasStructuredSort(tupleSort, Sorts::StructuredSort::TUPLE));
   for (unsigned i = 0; i < tuple->arity(); i++) {
     if (!tuple->nthArgument(i)->isTerm()) {
       return false;