diff options
Diffstat (limited to 'ide/ideutils.ml')
| -rw-r--r-- | ide/ideutils.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/ideutils.ml b/ide/ideutils.ml index 32d2bb97b..424c41a60 100644 --- a/ide/ideutils.ml +++ b/ide/ideutils.ml @@ -249,7 +249,7 @@ let coqtop_path () = let i = Str.search_backward (Str.regexp_string "coqide") prog pos in String.blit "coqtop" 0 prog i 6; - prog + if Sys.file_exists prog then prog else "coqtop" with Not_found -> "coqtop" in file |