Skip to content
Snippets Groups Projects
Commit c334e450 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[wp] avoid warning 27 when Eva is disabled

parent ed2a0b8c
No related branches found
No related tags found
No related merge requests found
......@@ -21,4 +21,4 @@
(**************************************************************************)
let is_computed () = false
let get_cvalue_state kinstr = Cvalue.Model.top
let get_cvalue_state _kinstr = Cvalue.Model.top
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