X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fparamodulation%2Futils.ml;h=f2c475799cf818e2aebec504efd2af369823d53e;hb=a89f7271e79dc7dc81dc868a75125669c8decc16;hp=4a20f5c3d80eb1547d88801d88d4741c96965f9e;hpb=b9599336a7e5b19b3cf37d73a9d14f9899e2b82f;p=helm.git

diff --git a/helm/ocaml/paramodulation/utils.ml b/helm/ocaml/paramodulation/utils.ml
index 4a20f5c3d..f2c475799 100644
--- a/helm/ocaml/paramodulation/utils.ml
+++ b/helm/ocaml/paramodulation/utils.ml
@@ -406,3 +406,10 @@ let string_of_sign = function
   | Positive -> "Positive"
 ;;
 
+
+type pos = Left | Right 
+
+let string_of_pos = function
+  | Left -> "Left"
+  | Right -> "Right"
+;;