Skip to content
Snippets Groups Projects
Commit 3daa3cc3 authored by BRUN Lelio's avatar BRUN Lelio
Browse files

missing dune-site dep

parent e60a3711
No related branches found
No related tags found
No related merge requests found
......@@ -28,5 +28,5 @@
of Simulink models. Within CocoSim, the Lustre language is used as an \
intermediate representation and relies mainly on lustrec to produce code \
or verification artifacts.")
(depends ocamlgraph menhir zarith)
(depends ocamlgraph menhir zarith dune-site)
(depopts z3 yojson))
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