arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-12 12:13:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

*-import entfernt

Browse Source
This commit is contained in:
uogau 2021-02-01 01:27:03 +01:00
parent d57e431782
commit d95ba1eb7c
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/main/java/edu/kit/typicalc/model/ModelImpl.java
View File

@ -8,7 +8,8 @@ import edu.kit.typicalc.model.term.VarTerm;
import edu.kit.typicalc.model.type.TypeAbstraction; import edu.kit.typicalc.model.type.TypeAbstraction;
import edu.kit.typicalc.util.Result; import edu.kit.typicalc.util.Result;
import java.util.*; import java.util.HashMap;
import java.util.Map;
/** /**
* Accepts user input and returns a type inference result. * Accepts user input and returns a type inference result.