diff --git a/src/plugins/value/engine/abstractions.ml b/src/plugins/value/engine/abstractions.ml
index 0e06c7ac4088c9c0ddf252de9a7efc1c889f743d..b8095b0274bf1d8756707ed6bfaf4ff9f99f56e8 100644
--- a/src/plugins/value/engine/abstractions.ml
+++ b/src/plugins/value/engine/abstractions.ml
@@ -100,21 +100,9 @@ module Config = struct
     create_domain rank name enable (module Main_values.CVal)
 
   let cvalue = make 9 "cvalue" CvalueDomain.get (module Cvalue_domain.State)
-  let gauges = make 6 "gauges" GaugesDomain.get (module Gauges_domain.D)
-  let octagon = make 6 "octagon" OctagonDomain.get (module Octagons)
-  let inout = make 5 "inout" InoutDomain.get (module Inout_domain.D)
-  let traces = make 2 "traces" TracesDomain.get (module Traces_domain.D)
-  let printer = make 2 "printer" PrinterDomain.get (module Printer_domain)
-  let symbolic_locations =
-    make 7  "symbolic_locations" SymbolicLocsDomain.get (module Symbolic_locs.D)
 
-  let sign =
-    create_domain 4 "sign" SignDomain.get
-      (module Sign_value) (module Sign_domain)
-
-  let bitwise =
-    create_domain 3 "bitwise" BitwiseOffsmDomain.get
-      (module Offsm_value.Offsm) (module Offsm_domain.D)
+  let symbolic_locations =
+    make 7 "symbolic-locations" SymbolicLocsDomain.get (module Symbolic_locs.D)
 
   let equality_domain =
     { name = "equality";
@@ -123,6 +111,21 @@ module Config = struct
       domain = Functor (module Equality_domain.Make); }
   let equality = create ~enable:EqualityDomain.get equality_domain
 
+  let gauges = make 6 "gauges" GaugesDomain.get (module Gauges_domain.D)
+  let octagon = make 6 "octagon" OctagonDomain.get (module Octagons)
+
+  let bitwise =
+    create_domain 3 "bitwise" BitwiseOffsmDomain.get
+      (module Offsm_value.Offsm) (module Offsm_domain.D)
+
+  let sign =
+    create_domain 4 "sign" SignDomain.get
+      (module Sign_value) (module Sign_domain)
+
+  let inout = make 5 "inout" InoutDomain.get (module Inout_domain.D)
+  let traces = make 2 "traces" TracesDomain.get (module Traces_domain.D)
+  let printer = make 2 "printer" PrinterDomain.get (module Printer_domain)
+
   (* --- Default and legacy configurations ---------------------------------- *)
 
   let default = configure ()