/*
* generated by Xtext
*/
package hu.bme.mit.inf.dslreasoner;
/**
* Use this class to register components to be used at runtime / without the Equinox extension registry.
*/
public class SmtLanguageRuntimeModule extends hu.bme.mit.inf.dslreasoner.AbstractSmtLanguageRuntimeModule {
}