diff --git a/lib/sasa/sasaRun.ml b/lib/sasa/sasaRun.ml
index 441686aa8cb5aa1c329b3203e850527258b2701c..4a25a3f2a0fa1e38b0ce514e43f88c3831163d69 100644
--- a/lib/sasa/sasaRun.ml
+++ b/lib/sasa/sasaRun.ml
@@ -147,8 +147,8 @@ let (make_do: string array -> 'v SimuState.t -> RdbgPlugin.t) =
             (get_action_value sl_in) Step.f
         in
         (* 3: Do the steps *)
-        let st = Sasacore.Step.f pnal st in
-        sasa_config := st.config;
+        let nst = Sasacore.Step.f pnal st in
+        sasa_config := nst.config;
         ("silent", Data.B silent)::("legitimate", Data.B legit)::pot_sl @
         (from_sasa_env st) @ (get_sl_out true pl enab_ll) @
         (get_sl_out false pl activate_val)