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

[dev] 4.05.0 compatibility

parent 95d1d186
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 1 deletion
reorder_defs.ml
+ 2
− 1
View file @ ba58d7bb
...@@ -328,8 +328,9 @@ end ...@@ -328,8 +328,9 @@ end
environment afterwards). environment afterwards).
*) *)
open Cil
class compute_deps = class compute_deps =
let open Cil in
let is_global s = Extlib.string_prefix ~strict:true "_Z" s in let is_global s = Extlib.string_prefix ~strict:true "_Z" s in
object(self) object(self)
inherit Cabsvisit.nopCabsVisitor inherit Cabsvisit.nopCabsVisitor
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment