1 files changed, 1 insertions, 1 deletions
diff --git a/abstract/nonrelational.ml b/abstract/nonrelational.ml
index 492b547..bbdc875 100644
--- a/abstract/nonrelational.ml
+++ b/abstract/nonrelational.ml
@@ -188,7 +188,6 @@ module ND (V : VALUE_DOMAIN) : NUMERICAL_ENVIRONMENT_DOMAIN = struct
         match env with
         | Bot -> Format.fprintf fmt "⊥"
         | Env env ->
-            Format.fprintf fmt "@[<v 2>{ ";
             let l = List.map (fun id -> (get_var env id, id)) ids in
             let s = List.sort Pervasives.compare l in
             let rec bl = function
@@ -201,6 +200,7 @@ module ND (V : VALUE_DOMAIN) : NUMERICAL_ENVIRONMENT_DOMAIN = struct
               | _::q -> bl q
             in
             let sbl = bl s in
+            Format.fprintf fmt "@[<v 2>{ ";
             List.iteri
               (fun j (v, ids) ->
                 if j > 0 then Format.fprintf fmt "@ ";