/*
 * generated by Xtext 2.12.0
 */
package ca.mcgill.ecse.dslreasoner.scoping


/**
 * This class contains custom scoping description.
 * 
 * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#scoping
 * on how and when to use it.
 */
class VampireLanguageScopeProvider extends AbstractVampireLanguageScopeProvider {
	//TODO
}