removed @RequestScoped where it had no effect.

denis-bogdanas · denis-bogdanas · commit fe87e8d5dc07 · 2020-01-23T20:58:19.000+02:00
diff --git a/kernel/src/main/java/org/kframework/keq/KEqModule.java b/kernel/src/main/java/org/kframework/keq/KEqModule.java
@@ -9,7 +9,6 @@
 import com.google.inject.multibindings.Multibinder;
 import org.kframework.definition.Definition;
 import org.kframework.kompile.BackendModule;
-import org.kframework.kompile.DefinitionStorage;
 import org.kframework.kompile.Kompile;
 import org.kframework.kompile.KompileOptions;
 import org.kframework.kprove.ProofDefinitionBuilder;
@@ -45,7 +44,6 @@ protected void configure() {
             install(new BackendModule());
 
             bind(FileUtil.class).in(Scopes.NO_SCOPE);
-            bind(DefinitionStorage.class).in(Scopes.NO_SCOPE);
             bind(ProofDefinitionBuilder.class).in(Scopes.NO_SCOPE);
             bind(Kompile.class).in(Scopes.NO_SCOPE);
             bind(FileSystem.class).to(PortableFileSystem.class);
diff --git a/kernel/src/main/java/org/kframework/kompile/DefinitionStorage.java b/kernel/src/main/java/org/kframework/kompile/DefinitionStorage.java
@@ -3,7 +3,6 @@
 
 import org.kframework.utils.BinaryLoader;
 import org.kframework.utils.file.FileUtil;
-import org.kframework.utils.inject.RequestScoped;
 
 import javax.inject.Inject;
 import java.io.File;
@@ -12,7 +11,6 @@
  * @author Denis Bogdanas
  * Created on 09-Nov-19.
  */
-@RequestScoped
 public class DefinitionStorage {
     private final BinaryLoader loader;
     private final FileUtil files;
