1 files changed, 4 insertions, 0 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend
index 3d2cbbc7..5e4e4ef0 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend
@@ -1,6 +1,8 @@
 package hu.bme.mit.inf.dslreasoner.domains.satellite.runner
 
 import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor
+import org.eclipse.viatra.query.runtime.api.ViatraQueryEngineOptions
+import org.eclipse.viatra.query.runtime.rete.matcher.ReteBackendFactory
 
 final class SatelliteGeneratorMain {
         private new() {
@@ -8,6 +10,8 @@ final class SatelliteGeneratorMain {
         }
 
         public static def void main(String[] args) {
+                ViatraQueryEngineOptions.setSystemDefaultBackends(ReteBackendFactory.INSTANCE, ReteBackendFactory.INSTANCE,
+                        ReteBackendFactory.INSTANCE)
                 println(StandaloneScriptExecutor.executeScript("configs/generation.vsconfig"))
         }
 }