From ba58d7bb33032d41bf21b05d086dc7d6366c3e19 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 10 Mar 2020 11:14:12 +0100
Subject: [PATCH] [dev] 4.05.0 compatibility
---
reorder_defs.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/reorder_defs.ml b/reorder_defs.ml
index ec1290a6..857c4433 100644
--- a/reorder_defs.ml
+++ b/reorder_defs.ml
@@ -328,8 +328,9 @@ end
environment afterwards).
*)
+open Cil
+
class compute_deps =
- let open Cil in
let is_global s = Extlib.string_prefix ~strict:true "_Z" s in
object(self)
inherit Cabsvisit.nopCabsVisitor
--
GitLab