diff options
Diffstat (limited to 'driver/Driver.ml')
| -rw-r--r-- | driver/Driver.ml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 7dacc4d2..18005302 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -17,11 +17,7 @@ open Timing (* Location of the compatibility library *) -let stdlib_path = ref( - try - Sys.getenv "COMPCERT_LIBRARY" - with Not_found -> - Configuration.stdlib_path) +let stdlib_path = ref Configuration.stdlib_path let command cmd = if !option_v then begin |