SemiFormalProofUiModule.java

/*
 * generated by Xtext
 */
package net.certware.argument.sfp.ui;

import org.eclipse.ui.plugin.AbstractUIPlugin;

/**
 * Use this class to register components to be used within the IDE.
 */
public class SemiFormalProofUiModule extends net.certware.argument.sfp.ui.AbstractSemiFormalProofUiModule {
	public SemiFormalProofUiModule(AbstractUIPlugin plugin) {
		super(plugin);
	}
}