see sosy-lab/sv-witnesses#14 : do not print "control" because witness…

… linter rejects it and we ignore it anyways
ultimate-pa · Nov 30, 2020 · 02e54f9 · 02e54f9
1 parent e92f9c2
commit 02e54f9
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/...r/src/de/uni_freiburg/informatik/ultimate/witnessprinter/CorrectnessWitnessGenerator.java b/...r/src/de/uni_freiburg/informatik/ultimate/witnessprinter/CorrectnessWitnessGenerator.java
@@ -95,7 +95,6 @@ public String makeGraphMLString() {
 		addEdgeData(graphWriter, "sourcecode", null, edge -> StringEscapeUtils.escapeXml10(edge.getSourceCode()));
 		addEdgeData(graphWriter, "assumption", null, edge -> StringEscapeUtils.escapeXml10(edge.getAssumption()));
 		addEdgeData(graphWriter, "tokens", null, edge -> null);
-		addEdgeData(graphWriter, "control", null, edge -> edge.getControl());
 		addEdgeData(graphWriter, "startline", null, edge -> edge.getStartLineNumber());
 		addEdgeData(graphWriter, "endline", null, edge -> edge.getEndLineNumber());
 		addEdgeData(graphWriter, "originfile", StringEscapeUtils.escapeXml10(mTranslatedCFG.getFilename()),