diff --git a/reorder_defs.ml b/reorder_defs.ml index ec1290a6c981d458ea0a435e952971049b1b493a..857c4433888526a7c13999efabac733e58ee2c25 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