Make the code OCaml-4.06.1-friendly

[fireball-separation.git] / ocaml / simple.ml

diff --git a/ocaml/simple.ml b/ocaml/simple.ml
index 991779e7ac995f5f980a174b43c292689cac1ce6..8e4f61946e453827b4024dccca02d6ce8ac2f19b 100644 (file)
--- a/ocaml/simple.ml
+++ b/ocaml/simple.ml
@@ -288,9 +288,6 @@ print_cmd "STEP" ("on " ^ string_of_t (V var) ^ " (of:" ^ string_of_int n ^ ")")
  sanity p\r
 ;;\r
 \r
-;;\r
-\r
-\r
 let rec auto p =\r
  let hd_var, n_args = get_inert p.div in\r
  match get_subterm_with_head_and_args hd_var n_args p.conv with\r