From e2c874de5f91d2cc70b15aed613b6a32545b7435 Mon Sep 17 00:00:00 2001
From: Arne Keller <arne.keller@student.kit.edu>
Date: Fri, 9 Jul 2021 12:46:24 +0200
Subject: [PATCH] Scoping ID to highlight type variables

This should fix #10
---
 .../typeinferencecontent/latexcreator/LatexCreatorType.java     | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorType.java b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorType.java
index 03c180a..46ce3f9 100644
--- a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorType.java
+++ b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorType.java
@@ -78,6 +78,8 @@ public class LatexCreatorType implements TypeVisitor {
             // this class is used in frontend/src/mathjax-setup.js
             latex.append("\\class{typicalc-type typicalc-type-")
                     .append(variable.hashCode())
+                    .append("-")
+                    .append(variable.getUniqueIndex())
                     .append("}{");
         }
         latex.append(name);