diff --git a/tests/sls1.smt2 b/tests/sls1.smt2
index 2218993a2..5f38a9418 100644
--- a/tests/sls1.smt2
+++ b/tests/sls1.smt2
@@ -5840,5 +5840,5 @@
    (* 100 x_1604)
    (* 100 x_1001)))
 (optimize :print_statistics true
- :wmaxsat_engine sls
+ :wmaxsat_engine bvsls
  :maxsat_engine weighted_maxsat)