From a82ea2beb3a622f81fc6b0fccef643dbf7b4cd66 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 31 Jan 2022 18:08:37 +0100
Subject: [PATCH] OCaml 4.13 compatibility
---
gen_ast.mli | 1 +
reorder_defs.ml | 6 +++---
2 files changed, 4 insertions(+), 3 deletions(-)
create mode 100644 gen_ast.mli
diff --git a/gen_ast.mli b/gen_ast.mli
new file mode 100644
index 00000000..f8593479
--- /dev/null
+++ b/gen_ast.mli
@@ -0,0 +1 @@
+(* Nothing is exported *)
diff --git a/reorder_defs.ml b/reorder_defs.ml
index 5d78bece..f8170942 100644
--- a/reorder_defs.ml
+++ b/reorder_defs.ml
@@ -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
--
GitLab