Skip to content
Snippets Groups Projects
Commit d0fdd0ee authored by Valentin Perrelle's avatar Valentin Perrelle Committed by David Bühler
Browse files

[postdominators] Use the new Eva API

parent d958bba9
No related branches found
No related tags found
No related merge requests found
......@@ -255,7 +255,7 @@ let () = Db.Main.extend output
include
PostDomDb
(struct
let is_accessible = Db.Value.is_reachable_stmt
let is_accessible = Eva.Results.is_reachable
let dependencies = [ Db.Value.self ]
let name = "value"
let eval_cond stmt _e =
......
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