path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/scoping/AbstractVampireLanguageScopeProvider.java

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

import org.eclipse.xtext.scoping.impl.DelegatingScopeProvider;

public abstract class AbstractVampireLanguageScopeProvider extends DelegatingScopeProvider {
}