diff --git a/src/plugins/aorai/tests/Aorai_test.ml b/src/plugins/aorai/tests/Aorai_test.ml
index 5a1e9fb9bc0c7402697be6f1d92c3e6ad0155ca9..661d97503828b87e72e82c04f716ab97a387577c 100644
--- a/src/plugins/aorai/tests/Aorai_test.ml
+++ b/src/plugins/aorai/tests/Aorai_test.ml
@@ -111,6 +111,7 @@ let extend () =
       if ProveAuxSpec.get () then begin
         if InternalWpShare.is_set() then
           Wp.Wp_parameters.Share.set (InternalWpShare.get());
+        Wp.Wp_parameters.Let.off();
         Wp.Wp_parameters.Split.on();
         Wp.Wp_parameters.SplitMax.set 32;
         Wp.Wp_parameters.Verbose.set 0;