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

fix bug where error in unification would cause mathjax not rendering

Browse Source
This commit is contained in:
ucrhh 2021-02-11 22:40:37 +01:00
parent 5265439b62
commit 1d8a01fc02
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/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java
View File

@ -193,11 +193,11 @@ public class LatexCreatorConstraints implements StepVisitor {
latex.append(UNIFY + PAREN_LEFT + LATEX_CURLY_LEFT);
}
for (int i = unificationConstraints.size() - 1; i >= 0; i--) {
latex.append(AMPERSAND);
if (markError && i == 0) {
latex.append(COLOR_RED);
latex.append(CURLY_LEFT);
}
latex.append(AMPERSAND);
latex.append(new LatexCreatorType(unificationConstraints.get(i).getFirstType()).getLatex());
if (markError && i == 0) {
latex.append(CURLY_RIGHT);