first proof reconstruction attempt, still bugged since it

[helm.git] / helm / software / components / ng_paramodulation / foSubst.ml

diff --git a/helm/software/components/ng_paramodulation/foSubst.ml b/helm/software/components/ng_paramodulation/foSubst.ml
index 9053ec223a3a25fcac036746bb30e1e4bd5ea49d..6154306b5e1d9959fc5ee7ec2d0facb51d80f119 100644 (file)
--- a/helm/software/components/ng_paramodulation/foSubst.ml
+++ b/helm/software/components/ng_paramodulation/foSubst.ml
@@ -9,7 +9,7 @@
      \ /   This software is distributed as is, NO WARRANTY.     
       V_______________________________________________________________ *)
 
-module Subst (B : Terms.Blob) = struct
+(* module Subst (B : Terms.Blob) = struct *)
   
   let id_subst = [];;
   
@@ -48,4 +48,4 @@ module Subst (B : Terms.Blob) = struct
 
   let concat x y = x @ y;;
   
-end
+(* end *)