package de.tu_dresden.diplom.richter_mirko_mat2628335.witness.process.result;

import org.apache.log4j.Logger;
import de.tu_dresden.diplom.richter_mirko_mat2628335.common.result.BaseResult;

/**
 * 
 */
public class ContextRemovalResult extends BaseResult implements IFContextRemovalResult{

   private static final Logger logger = Logger.getLogger(ContextRemovalResult.class);

}
