1 files changed, 14 insertions, 1 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java
index 323e4df4..d3d4b54d 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java
@@ -1,5 +1,5 @@
 /*

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.14.0

  */

 package ca.mcgill.ecse.dslreasoner.ide;

 

@@ -15,6 +15,9 @@ import org.eclipse.xtext.ide.editor.contentassist.IProposalConflictHelper;
 import org.eclipse.xtext.ide.editor.contentassist.antlr.AntlrProposalConflictHelper;

 import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser;

 import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer;

+import org.eclipse.xtext.ide.refactoring.IRenameStrategy2;

+import org.eclipse.xtext.ide.server.rename.IRenameService;

+import org.eclipse.xtext.ide.server.rename.RenameService;

 

 /**

  * Manual modifications go to {@link VampireLanguageIdeModule}.

@@ -44,4 +47,14 @@ public abstract class AbstractVampireLanguageIdeModule extends DefaultIdeModule
                 return FQNPrefixMatcher.class;

         }

         

+        // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2

+        public Class<? extends IRenameService> bindIRenameService() {

+                return RenameService.class;

+        }

+        

+        // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2

+        public Class<? extends IRenameStrategy2> bindIRenameStrategy2() {

+                return IRenameStrategy2.DefaultImpl.class;

+        }

+        

 }