fixed resolving error
Merge branch 'master' of git@github.com:hhu-stups/tla2bAST.git

Conflicts:
	src/main/java/de/tla2bAst/Translator.java