More compatible fix

This commit is contained in:
Garth Tuohy 2023-06-09 20:25:27 -04:00 committed by Etienne Millon
parent ba0e2c7fff
commit f2f2aef137
1 changed files with 1 additions and 1 deletions

View File

@ -89,7 +89,7 @@ let set_load_path path =
let toploop_use_silently fmt name =
#if OCAML_VERSION >= (4, 14, 0)
Toploop.use_silently fmt (File name)
Toploop.use_silently fmt (match name with "" -> Stdin | _ -> File name)
#else
Toploop.use_silently fmt name
#endif