1 files changed, 7 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java
index 3a6cc964..5ef7b226 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java
@@ -58,6 +58,8 @@ import org.eclipse.xtext.ui.editor.contentassist.IProposalConflictHelper;
 import org.eclipse.xtext.ui.editor.contentassist.PrefixMatcher;

 import org.eclipse.xtext.ui.editor.contentassist.antlr.AntlrProposalConflictHelper;

 import org.eclipse.xtext.ui.editor.contentassist.antlr.DelegatingContentAssistContextFactory;

+import org.eclipse.xtext.ui.editor.formatting.IContentFormatterFactory;

+import org.eclipse.xtext.ui.editor.formatting2.ContentFormatterFactory;

 import org.eclipse.xtext.ui.editor.outline.IOutlineTreeProvider;

 import org.eclipse.xtext.ui.editor.outline.impl.IOutlineTreeStructureProvider;

 import org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreInitializer;

@@ -185,6 +187,11 @@ public abstract class AbstractVampireLanguageUiModule extends DefaultUiModule {
                         .to(BuilderPreferenceAccess.Initializer.class);

         }

         

+        // contributed by org.eclipse.xtext.xtext.generator.formatting.Formatter2Fragment2

+        public Class<? extends IContentFormatterFactory> bindIContentFormatterFactory() {

+                return ContentFormatterFactory.class;

+        }

+        

         // contributed by org.eclipse.xtext.xtext.generator.ui.labeling.LabelProviderFragment2

         public Class<? extends ILabelProvider> bindILabelProvider() {

                 return VampireLanguageLabelProvider.class;