diff --git a/src/plugins/aorai/aorai_eva_analysis.enabled.ml b/src/plugins/aorai/aorai_eva_analysis.enabled.ml
index 753b5b8fd47b80c24bddfe0f77bd03968ba96344..f1ad02b3417900d1d66ec1f5df37d6e879d75aac 100644
--- a/src/plugins/aorai/aorai_eva_analysis.enabled.ml
+++ b/src/plugins/aorai/aorai_eva_analysis.enabled.ml
@@ -69,10 +69,10 @@ let builtin_show_aorai_state state args =
     let history = Data_for_aorai.(curState :: (whole_history ())) in
     Aorai_option.result ~current:true "@[<hv>%a@]"
       (Pretty_utils.pp_list ~sep:" <- " (show_aorai_variable state)) history;
-    if args <> [] then begin
-      Aorai_option.result ~current:true "@[<hv>%a@]"
-        (Pretty_utils.pp_list ~sep:"," show_val) args
-    end;
+  end;
+  if args <> [] then begin
+    Aorai_option.result ~current:true "@[<hv>%a@]"
+      (Pretty_utils.pp_list ~sep:"," show_val) args
   end;
   (* Return value : returns nothing, changes nothing *)
   Eva.Builtins.States [state]