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

delete accidentally pasted line

Browse Source
This commit is contained in:
Johanna Stuber 2021-02-11 15:20:37 +01:00
parent ad99cc09b8
commit 0fdc8d3509
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/java/edu/kit/typicalc/model/step/LetStep.java
View File

@ -41,7 +41,7 @@ public abstract class LetStep extends InferenceStep {
return premise;
}
/**typeInferer.equals(letStep.typeInferer)
/**
* Returns the TypeInferer for the premise which needs its own type Inference.
* @return typeInferer the type inferer of the sub-inference
*/