functorial abstraction over term blobs

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

diff --git a/helm/software/components/ng_paramodulation/pp.ml b/helm/software/components/ng_paramodulation/pp.ml
index aff9224e00bf1d140ef6d339f9ce6620fd62b56e..d663e815508300de03005918bb6eaaf01b04b7e8 100644 (file)
--- 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