Skip to content

Commit

Permalink
Fix compat with 403
Browse files Browse the repository at this point in the history
Signed-off-by: Jeremie Dimino <[email protected]>
  • Loading branch information
jeremiedimino authored and pmetzger committed Jan 24, 2019
1 parent fa3880d commit 4e9b9d1
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions src/lib/uTop_main.ml
Original file line number Diff line number Diff line change
Expand Up @@ -608,6 +608,7 @@ let bind_expressions name phrase =
| Handling of [@@toplevel_printer] attributes |
+-----------------------------------------------------------------+ *)

#if OCAML_VERSION >= (4, 04, 0)
let execute_phrase =
let new_cmis = ref []in

Expand Down Expand Up @@ -655,6 +656,12 @@ let execute_phrase =
acknowledge_new_cmis ();
res

#else

let execute_phrase = Toploop.execute_phrase

#endif

(* +-----------------------------------------------------------------+
| Main loop |
+-----------------------------------------------------------------+ *)
Expand Down

0 comments on commit 4e9b9d1

Please sign in to comment.