1 files changed, 15 insertions, 0 deletions

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

+ * generated by Xtext 2.12.0

+ */

+package ca.mcgill.ecse.dslreasoner.ui.outline

+

+import org.eclipse.xtext.ui.editor.outline.impl.DefaultOutlineTreeProvider

+

+/**

+ * Customization of the default outline structure.

+ *

+ * See https://www.eclipse.org/Xtext/documentation/310_eclipse_support.html#outline

+ */

+class VampireLanguageOutlineTreeProvider extends DefaultOutlineTreeProvider {

+

+}