1 files changed, 8 insertions, 1 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java
index 5d94a5bb..b5884df4 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java
@@ -1,5 +1,5 @@
 /*

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.14.0

  */

 package ca.mcgill.ecse.dslreasoner;

 

@@ -12,6 +12,7 @@ import ca.mcgill.ecse.dslreasoner.scoping.VampireLanguageScopeProvider;
 import ca.mcgill.ecse.dslreasoner.serializer.VampireLanguageSemanticSequencer;

 import ca.mcgill.ecse.dslreasoner.serializer.VampireLanguageSyntacticSequencer;

 import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess;

+import ca.mcgill.ecse.dslreasoner.validation.VampireLanguageConfigurableIssueCodesProvider;

 import ca.mcgill.ecse.dslreasoner.validation.VampireLanguageValidator;

 import com.google.inject.Binder;

 import com.google.inject.Provider;

@@ -54,6 +55,7 @@ import org.eclipse.xtext.serializer.sequencer.ISemanticSequencer;
 import org.eclipse.xtext.serializer.sequencer.ISyntacticSequencer;

 import org.eclipse.xtext.service.DefaultRuntimeModule;

 import org.eclipse.xtext.service.SingletonBinding;

+import org.eclipse.xtext.validation.ConfigurableIssueCodesProvider;

 

 /**

  * Manual modifications go to {@link VampireLanguageRuntimeModule}.

@@ -146,6 +148,11 @@ public abstract class AbstractVampireLanguageRuntimeModule extends DefaultRuntim
                 return VampireLanguageValidator.class;

         }

         

+        // contributed by org.eclipse.xtext.xtext.generator.validation.ValidatorFragment2

+        public Class<? extends ConfigurableIssueCodesProvider> bindConfigurableIssueCodesProvider() {

+                return VampireLanguageConfigurableIssueCodesProvider.class;

+        }

+        

         // contributed by org.eclipse.xtext.xtext.generator.scoping.ImportNamespacesScopingFragment2

         public Class<? extends IScopeProvider> bindIScopeProvider() {

                 return VampireLanguageScopeProvider.class;