diff options
| -rw-r--r-- | otherlibs/labltk/browser/main.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/otherlibs/labltk/browser/main.ml b/otherlibs/labltk/browser/main.ml index 7b9863c74..cf578fb4c 100644 --- a/otherlibs/labltk/browser/main.ml +++ b/otherlibs/labltk/browser/main.ml @@ -102,10 +102,11 @@ let _ = try Searchid.start_env := Env.open_pers_signature "Pervasives" Env.initial with _ -> fatal_error - (Printf.sprintf "%s\nPlease check that %s %s" + (Printf.sprintf "%s\nPlease check that %s %s\nCurrent value is `%s'" "Couldn't initialize environment." (if is_win32 then "%OCAMLLIB%" else "$OCAMLLIB") - "points to the Objective Caml library.") + "points to the Objective Caml library." + Config.standard_library) end; Searchpos.view_defined_ref := (fun s ~env -> Viewer.view_defined s ~env); |