diff options
Diffstat (limited to 'debug/dune')
-rw-r--r-- | debug/dune | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,5 +1,5 @@ (include_subdirs no) (executable - (name CoqupTest) - (libraries coqup)) + (name VericertTest) + (libraries vericert)) |