diff options
| author | Alasdair Armstrong | 2018-12-20 22:58:44 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-12-20 23:07:24 +0000 |
| commit | 367f72900fd24bf51b135f04f6fd301f3e8efb15 (patch) | |
| tree | 782515d2b9dfda003ccab35b938d0cf3cf4028eb /src/process_file.ml | |
| parent | 0a9200153430f5e727b3ebe1fa272d4842069530 (diff) | |
Make sure sail -v prints useful version info
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index ca013077..0194baa8 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -191,7 +191,7 @@ let rec preprocess opts = function let sail_dir = try Sys.getenv "SAIL_DIR" with | Not_found -> - let share_dir = Share_directory.d in + let share_dir = Manifest.dir in if Sys.file_exists share_dir then share_dir else |