/*
* 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 SmtLanguageUiModule extends hu.bme.mit.inf.dslreasoner.ui.AbstractSmtLanguageUiModule {
public SmtLanguageUiModule(AbstractUIPlugin plugin) {
super(plugin);
}
}