package de.prob2.ui.verifications.ltl;

public interface ILTLItem {
	LTLCheckingResultItem getResultItem();
}

package de.prob2.ui.verifications.ltl;

import de.prob2.ui.verifications.CheckingResultItem;

public interface ILTLItem {
	CheckingResultItem getResultItem();
}

Fix a bug in ILTLItem