/*
 * generated by Xtext
 */
package hu.bme.mit.inf.dslreasoner.ui;

import org.eclipse.ui.plugin.AbstractUIPlugin;

/**
 * Use this class to register components to be used within the IDE.
 */
public class AlloyLanguageUiModule extends hu.bme.mit.inf.dslreasoner.ui.AbstractAlloyLanguageUiModule {
	public AlloyLanguageUiModule(AbstractUIPlugin plugin) {
		super(plugin);
	}
}