Changes to be committed: modified: Makefile modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java