001package daikon.dcomp;
002
003/** Classes implementing this interface have been instrumented by DynComp. */
004public interface DCompInstrumented {
005  public boolean equals_dcomp_instrumented(Object o);
006}