/**
 * generated by Xtext 2.12.0
 */
package ca.mcgill.ecse.dslreasoner.ui;

import ca.mcgill.ecse.dslreasoner.ui.AbstractVampireLanguageUiModule;
import org.eclipse.ui.plugin.AbstractUIPlugin;
import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor;

/**
 * Use this class to register components to be used within the Eclipse IDE.
 */
@FinalFieldsConstructor
@SuppressWarnings("all")
public class VampireLanguageUiModule extends AbstractVampireLanguageUiModule {
  public VampireLanguageUiModule(final AbstractUIPlugin plugin) {
    super(plugin);
  }
}