package de.prob2.ui.verifications.ltl;

public interface ILTLItem {
	LTLCheckingResultItem getResultItem();
}

@@ -33,16 +33,70 @@
 s.ltl;%0A%0A
+import de.prob2.ui.verifications.CheckingResultItem;%0A%0A
 public i
@@ -116,19 +116,16 @@
 Item %7B%0A%09
-LTL
 Checking

Fix a bug in ILTLItem