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

forgot to use string constant

Browse Source
This commit is contained in:
ucrhh 2021-02-19 18:55:34 +01:00
parent 77ce5e4ee1
commit e3b5d85cd5
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstants.java
View File

@ -54,7 +54,7 @@ public final class LatexCreatorConstants {
protected static final String CIRC = "\\circ";
protected static final String SUBSTITUTION_SIGN = "\\mathrel{\\unicode{x21E8}}";
protected static final String COLOR_RED = "\\color{#f00}";
protected static final String EMPTY_SET = "";
protected static final String EMPTY_SET = "\\emptyset";
protected static final String LAMBDA = "\\lambda";
protected static final String LATEX_SPACE = "\\ ";
protected static final String LATEX_CURLY_LEFT = "\\{";

2
src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java
View File

@ -330,7 +330,7 @@ public class LatexCreatorConstraints implements StepVisitor {
InferenceStep step = typeInferer.getFirstInferenceStep();
String typeAssumptions = typeAssumptionsToLatex(step.getConclusion().getTypeAssumptions());
if ("".equals(typeAssumptions)) {
typeAssumptions = "\\emptyset";
typeAssumptions = EMPTY_SET;
}
StringBuilder latex = new StringBuilder();