Skip to content
Snippets Groups Projects
Commit 32a61f39 authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[region] ranges & region map

parent 909348c1
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
src/plugins/region/dune
+ 1
− 1
View file @ 32a61f39
......@@ -32,7 +32,7 @@
(library
(name Region)
(public_name frama-c-region.core)
(flags -open Frama_c_kernel :standard)
(flags -open Frama_c_kernel :standard -w -9)
(libraries frama-c.kernel unionFind)
(instrumentation (backend landmarks))
(instrumentation (backend bisect_ppx)))
......
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