Fix compat with 403

jeremiedimino · pmetzger · commit 4e9b9d1c6602 · 2019-01-24T12:12:26.000-05:00
Signed-off-by: Jeremie Dimino &lt;jeremie@dimino.org&gt;
diff --git a/src/lib/uTop_main.ml b/src/lib/uTop_main.ml
@@ -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
 
@@ -655,6 +656,12 @@ let execute_phrase =
     acknowledge_new_cmis ();
     res
 
+#else
+
+let execute_phrase = Toploop.execute_phrase
+
+#endif
+
 (* +-----------------------------------------------------------------+
    | Main loop                                                       |
    +-----------------------------------------------------------------+ *)
