From 7fd6549a4053e9c3961c0e608560aed6f118d1d9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 31 Mar 2014 23:32:31 +0200
Subject: [PATCH] another sls example

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 tests/sls1.smt2 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)