/*
* 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 {
}