package wprover;

/**
 * Created by IntelliJ IDEA.
 * User: ye
 * Date: Mar 14, 2007
 * Time: 9:03:10 AM
 * To change this template use File | Settings | File Templates.
 */
public interface DiagramUpdater {

    public void UpdateDiagram();
}
