package org.scribble.del;
import org.scribble.ast.ScribNode;
import org.scribble.main.ScribbleException;
import org.scribble.visit.ProtocolDefInliner;
public abstract class InteractionSeqDel extends ScribDelBase
{
@Override
public void enterProtocolInlining(ScribNode parent, ScribNode child, ProtocolDefInliner inl) throws ScribbleException
{
ScribDelBase.pushVisitorEnv(this, inl);
}
}