1 files changed, 2 insertions, 1 deletions

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/scoping/SmtLanguageScopeProvider.xtend b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/scoping/SmtLanguageScopeProvider.xtend
index e93e0543..0e4e4bf8 100644
--- a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/scoping/SmtLanguageScopeProvider.xtend
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/scoping/SmtLanguageScopeProvider.xtend
@@ -133,6 +133,7 @@ class SmtLanguageScopeProvider extends org.eclipse.xtext.scoping.impl.AbstractDe
         
         // Any type defined in the input section can be referred.
         def public IScope scope_SMTComplexTypeReference_referred(SMTComplexTypeReference reference, EReference ref){
-                return Scopes.scopeFor(getTop(typeof(SMTDocument),reference).input.typeDeclarations)
+                val types = getTop(typeof(SMTDocument),reference).input.typeDeclarations
+                return Scopes.scopeFor(types)
         }
 }