diff --git a/subprojects/frontends/petrinet-frontend/petrinet-analysis/src/test/java/hu/bme/mit/theta/frontend/petrinet/analysis/BfsTest.java b/subprojects/frontends/petrinet-frontend/petrinet-analysis/src/test/java/hu/bme/mit/theta/frontend/petrinet/analysis/BfsTest.java
index 20f63d22ed..d427181c96 100644
--- a/subprojects/frontends/petrinet-frontend/petrinet-analysis/src/test/java/hu/bme/mit/theta/frontend/petrinet/analysis/BfsTest.java
+++ b/subprojects/frontends/petrinet-frontend/petrinet-analysis/src/test/java/hu/bme/mit/theta/frontend/petrinet/analysis/BfsTest.java
@@ -9,6 +9,7 @@
 import hu.bme.mit.delta.mdd.MddVariableDescriptor;
 import hu.bme.mit.theta.analysis.algorithm.symbolic.fixpoint.BfsProvider;
 import hu.bme.mit.theta.analysis.algorithm.symbolic.fixpoint.CursorRelationalProductProvider;
+import hu.bme.mit.theta.analysis.algorithm.symbolic.fixpoint.LegacyRelationalProductProvider;
 import hu.bme.mit.theta.frontend.petrinet.model.PetriNet;
 import hu.bme.mit.theta.frontend.petrinet.model.Place;
 import hu.bme.mit.theta.frontend.petrinet.pnml.PetriNetParser;
@@ -48,7 +49,7 @@ public void testBfs() throws Exception {
 			variableOrder.createOnTop(MddVariableDescriptor.create(p));
 		}
 		
-		BfsProvider bfs = new BfsProvider(variableOrder, new CursorRelationalProductProvider(variableOrder));
+		BfsProvider bfs = new BfsProvider(variableOrder, new LegacyRelationalProductProvider(variableOrder));
 		
 		final MddHandle stateSpace = bfs.compute(system.getInitializer(),
 			system.getTransitions(),