diff options
| -rw-r--r-- | ide/coq.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coq.ml b/ide/coq.ml index 9f1c807b84..92ded059ca 100644 --- a/ide/coq.ml +++ b/ide/coq.ml @@ -102,7 +102,7 @@ let toplvl_ctr = ref 0 let toplvl_ctr_mtx = Mutex.create () let spawn_coqtop sup_args = - let prog = Sys.argv.(0) in + let prog = Sys.executable_name in let dir = Filename.dirname prog in Mutex.lock toplvl_ctr_mtx; try |