Commit 09d4f920 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[lint] fix aorai_metavariables.ml

parent 26776c00
......@@ -79,7 +79,7 @@ struct
let _pretty_data fmt = function
| Bottom -> Format.printf "Bottom"
| InitializedSet set -> pretty_set fmt set
let check (src,tr,dst) used initialized =
let diff = Set.diff used initialized in
if not (Set.is_empty diff) then
......
Supports Markdown
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