X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fsimple.ml;fp=ocaml%2Fsimple.ml;h=8e4f61946e453827b4024dccca02d6ce8ac2f19b;hb=5664c5924f59c805c6e658698cc2fa535cab27f6;hp=991779e7ac995f5f980a174b43c292689cac1ce6;hpb=f1873841a3271d332cb8429b46e7bc7e0bca2402;p=fireball-separation.git

diff --git a/ocaml/simple.ml b/ocaml/simple.ml
index 991779e..8e4f619 100644
--- 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
 ;;
 
-;;
-
-
 let rec auto p =
  let hd_var, n_args = get_inert p.div in
  match get_subterm_with_head_and_args hd_var n_args p.conv with