Skip to content
Snippets Groups Projects
Commit a82ea2be authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

OCaml 4.13 compatibility

parent 0f8e9caa
No related branches found
No related tags found
No related merge requests found
(* Nothing is exported *)
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-Clang *)
(* *)
(* Copyright (C) 2012-2021 *)
(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......@@ -41,7 +41,7 @@ type dep_node =
name: string;
is_def: bool;
mutable glob: definition option;
mutable ghost: bool; (* TODO: take ghost into account. *)
(* mutable ghost: bool; (* TODO: take ghost into account. *) *)
mutable id: int
}
......@@ -179,7 +179,7 @@ end = struct
let nodes = H.create 37
let default_node kind name is_def =
{ kind; name; is_def; glob = None; id = -1; ghost = false }
{ kind; name; is_def; glob = None; id = -1; (* ghost = false *) }
let replace_deps orig rep =
if G.mem_vertex deps orig then begin
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment