Comment out unused code

LearnLib · Oct 6, 2023 · f5201c3 · f5201c3
1 parent 44b5cd3
commit f5201c3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/de/learnlib/ralib/theory/inequality/InequalityTheoryWithEq.java b/src/main/java/de/learnlib/ralib/theory/inequality/InequalityTheoryWithEq.java
@@ -529,7 +529,7 @@ private Map<List<SDTGuard>, SDT> modGuardLists(SDTGuard refGuard, SDT refSDT, Ma
             assert headSDT.getClass().equals(refSDT.getClass());
             //assert !(headSDT.isEmpty());
             //assert !(refSDT.isEmpty());
-            SDTGuard headGuard = headList.get(0);
+            //SDTGuard headGuard = headList.get(0);
             SDT newSDT = headSDT;
 //            System.out.println("head: " + newHeadList + " against " + refGuard);
             if (headSDT instanceof SDTLeaf) {