X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2Fpp.ml;h=d663e815508300de03005918bb6eaaf01b04b7e8;hb=6c4056ea40b96039f24eeda9a1e1900c95bad7c8;hp=aff9224e00bf1d140ef6d339f9ce6620fd62b56e;hpb=5dedda34c5f7b80d10bff717c5e6f90d0b92a5c7;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/pp.ml b/helm/software/components/ng_paramodulation/pp.ml
index aff9224e0..d663e8155 100644
--- a/helm/software/components/ng_paramodulation/pp.ml
+++ b/helm/software/components/ng_paramodulation/pp.ml
@@ -11,9 +11,11 @@
 
 (* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
 
-let pp_foterm = assert false
-let pp_proof = assert false
-let pp_substitution = assert false
-let pp_unit_clause = assert false
-
+module Pp (B : Terms.Blob) = struct
 
+  let pp_foterm = assert false
+  let pp_proof = assert false
+  let pp_substitution = assert false
+  let pp_unit_clause = assert false
+  
+end