diff --git a/benchmarks/model_checking_opreuse/JS/Makefile b/benchmarks/model_checking_opreuse/JS/Makefile
index 2d9628c5495900733baff38573dbb384e4bf0cff..9b894238ee87f2cee574bd8915e67c45457747cd 100644
--- a/benchmarks/model_checking_opreuse/JS/Makefile
+++ b/benchmarks/model_checking_opreuse/JS/Makefile
@@ -2,7 +2,7 @@
 
 .PHONY: build all clean
 
-all: Lift_MC_Large Cruise_finite1_deterministic_MC CAN_BUS_tlc LandingGear_R6 nota_v2 rether obsw_M001_1 obsw_M001_2 prob_oneway8seq Train_1_beebook_deterministic_MC_POR_v2 sort_m2_data1000_MC QueensWithEvents_4
+all: Lift_MC_Large Cruise_finite1_deterministic_MC CAN_BUS_tlc LandingGear_R6 nota_v2 rether obsw_M001_1 obsw_M001_2 prob_oneway8seq Train_1_beebook_deterministic_MC_POR_v3 sort_m2_data1000_MC QueensWithEvents_4
 
 build:
 	cd ../../../btypes_primitives/src/main/js ; cp -R btypes ../../../../benchmarks/model_checking/JS/btypes; cd ../../../../benchmarks/model_checking/JS