1 files changed, 5 insertions, 0 deletions

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/AbstractAlloyLanguageUiModule.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/AbstractAlloyLanguageUiModule.java
index b9842e1b..c44294ca 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/AbstractAlloyLanguageUiModule.java
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/AbstractAlloyLanguageUiModule.java
@@ -192,5 +192,10 @@ public abstract class AbstractAlloyLanguageUiModule extends org.eclipse.xtext.co
                 return org.eclipse.xtext.ui.compare.DefaultViewerCreator.class;

         }

 

+        // contributed by org.eclipse.xtext.ui.generator.compare.CompareFragment

+        public void configureCompareViewerTitle(com.google.inject.Binder binder) {

+                binder.bind(String.class).annotatedWith(com.google.inject.name.Names.named(org.eclipse.xtext.ui.UIBindings.COMPARE_VIEWER_TITLE)).toInstance("AlloyLanguage Compare");

+        }

+

 

 }