/*
 * 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);
	}
}