1 files changed, 15 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/scoping/VampireLanguageScopeProvider.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/scoping/VampireLanguageScopeProvider.xtend
new file mode 100644
index 00000000..d6b4a1ae
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/scoping/VampireLanguageScopeProvider.xtend
@@ -0,0 +1,15 @@
+/*

+ * 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 {

+

+}