path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/SmtLanguageUiModule.java

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