New unification and new matching.

[helm.git] / components / tactics / paramodulation / utils.ml

diff --git a/components/tactics/paramodulation/utils.ml b/components/tactics/paramodulation/utils.ml
index 8fb1d42bcf60bf6adae07c5ae7826995632f245e..db19e87d1d89f77f67ed818df82b625e323da12e 100644 (file)
--- a/components/tactics/paramodulation/utils.ml
+++ b/components/tactics/paramodulation/utils.ml
@@ -41,8 +41,6 @@ let print_metasenv metasenv =
 ;;
 
 
-
-
 let print_subst ?(prefix="\n") subst =
     String.concat prefix
      (List.map