diff --git a/src/plugins/value/engine/abstractions.ml b/src/plugins/value/engine/abstractions.ml
index d9be7442f747c11da459043c41ce6309f7f07bbd..5781d60bf7672faf0129790ab98f89cde419dd68 100644
--- a/src/plugins/value/engine/abstractions.ml
+++ b/src/plugins/value/engine/abstractions.ml
@@ -99,6 +99,7 @@ module Config = struct
   let cvalue = make 9 "cvalue" CvalueDomain.get (module Cvalue_domain.State)
   let gauges = make 6 "gauges" GaugesDomain.get (module Gauges_domain.D)
   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)
diff --git a/src/plugins/value/engine/abstractions.mli b/src/plugins/value/engine/abstractions.mli
index dce550f64bf299cfc9108dd13acbc1257df00bc2..4c2909dbb757e52966e0dab66ec42e86473b87b2 100644
--- a/src/plugins/value/engine/abstractions.mli
+++ b/src/plugins/value/engine/abstractions.mli
@@ -135,6 +135,7 @@ module Config : sig
   val bitwise: flag
   val inout: flag
   val sign: flag
+  val traces: flag
   val printer: flag
 
   val default: t (** The default configuration of Eva. *)