diff --git a/src/plugins/dive/dive_graph.ml b/src/plugins/dive/dive_graph.ml index c6b7bf4ace1d5d283d1dd4ce2d9acc837c007ae9..ec524bd1872e45b6a654e2d817b23470fcccd04d 100644 --- a/src/plugins/dive/dive_graph.ml +++ b/src/plugins/dive/dive_graph.ml @@ -303,6 +303,7 @@ struct let output_node_values values = match values with | None -> `Null + | Some cvalue when Cvalue.V.is_bottom cvalue -> `Null | Some cvalue -> `String (Pretty_utils.to_string Cvalue.V.pretty cvalue) let output_node node =