package de.tu_dresden.diplom.richter_mirko_mat2628335.witness.evidence;

import de.tu_dresden.diplom.richter_mirko_mat2628335.common.evidence.IFCoordinationContextEvidence;

/**
 * 
 */
public interface IFWitnessCoordinationContextEvidence extends IFCoordinationContextEvidence{
}
