some more functors and a nice higher-order all_positions iterator

[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 1b9f2624c77760b88f6e59184ecafca0ff12da60..92d6aba25a7ef99e6b24e0d39e187c84737761e0 100644 (file)
--- a/helm/software/components/ng_paramodulation/foSubst.ml
+++ b/helm/software/components/ng_paramodulation/foSubst.ml
@@ -35,5 +35,8 @@ module Subst (B : Terms.Blob) = struct
          not (is_in_subst m subst))
       varlist
   ;;
+
+  let apply_subst = assert false;;
+  let concat = assert false
   
 end