package jetbrains.mps.ide.modelchecker.actions;
/*Generated by MPS */
import jetbrains.mps.plugins.actions.GeneratedActionGroup;
public class ShowModelCheckerTool_ActionGroup extends GeneratedActionGroup {
public static final String ID = "jetbrains.mps.ide.modelchecker.actions.ShowModelCheckerTool_ActionGroup";
public ShowModelCheckerTool_ActionGroup() {
super("ShowModelCheckerTool", ID);
this.setIsInternal(false);
this.setPopup(false);
ShowModelCheckerTool_ActionGroup.this.addAction("jetbrains.mps.ide.modelchecker.actions.ShowModelChecker_Action");
}
}