diff options
Diffstat (limited to 'driver')
-rw-r--r-- | driver/VericertDriver.ml (renamed from driver/CoqupDriver.ml) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/driver/CoqupDriver.ml b/driver/VericertDriver.ml index f500499..f500499 100644 --- a/driver/CoqupDriver.ml +++ b/driver/VericertDriver.ml |