diff --git a/src_colibri2/core/egraph.ml b/src_colibri2/core/egraph.ml
index 2c2f38b969e55b7a1093ca39fc329f6d006ad470..25ddc34a665f6939957846e96201fbc2b3181173 100644
--- a/src_colibri2/core/egraph.ml
+++ b/src_colibri2/core/egraph.ml
@@ -396,8 +396,9 @@ let output_graph filename t =
             match Only_for_solver.sem_of_node thterm with
             | Only_for_solver.ThTerm(sem,v) ->
               let (module S) = Nodes.get_thterm sem in
+              let v = S.sem v in
               Format.fprintf fmt "| {%a | %s}"
-                ThTermKind.pp sem (escape_for_dot S.pp v)
+                ThTermKind.pp sem (escape_for_dot S.SD.pp v)
           end
         | _ -> ()
       in