diff options
Diffstat (limited to 'dune')
-rw-r--r-- | dune | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4,7 +4,7 @@ (include_subdirs unqualified) (library - (public_name coqup) + (public_name vericert) (modules_without_implementation c debugTypes dwarfTypes) (libraries menhirLib str unix) (flags (:standard -warn-error -A))) |