X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2FnCicParamod.ml;h=2b52ce34a29bc50ef15beb831af87eba1124071f;hb=d5e373656748835ecfe33041bbb87b786446b75f;hp=ff34709e9c7a262453de6a124ba6e641919b11b6;hpb=d35aca0e979a9c7edbc60c44040360d52be8ca82;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/nCicParamod.ml b/helm/software/components/ng_paramodulation/nCicParamod.ml
index ff34709e9..2b52ce34a 100644
--- a/helm/software/components/ng_paramodulation/nCicParamod.ml
+++ b/helm/software/components/ng_paramodulation/nCicParamod.ml
@@ -94,7 +94,3 @@ let nparamod rdb metasenv subst context (g_t,g_ty) table =
       proofterm, metasenv, subst)
     solutions
 ;;
-  
-  
-
-