diff options
Diffstat (limited to 'driver/dune')
-rw-r--r-- | driver/dune | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/driver/dune b/driver/dune index 5dbfcad..b0c97bc 100644 --- a/driver/dune +++ b/driver/dune @@ -1,5 +1,5 @@ (include_subdirs no) (executable - (name CoqupDriver) - (libraries coqup)) + (name VericertDriver) + (libraries vericert)) |