Update from HH

[Infinite Ramsey's theorem/.git] / make.ml

diff --git a/make.ml b/make.ml
index 3b6c792..b355989 100644 (file)
--- a/make.ml
+++ b/make.ml
@@ -166,7 +166,7 @@ let RIGHT_OR_OVER_AND = TAUT
 (* This is an overwrite -- is there any point in what I have?                *)
 (* ------------------------------------------------------------------------- *)
 
-let is_type = can get_type_arity;;
+(*let is_type = can get_type_arity;;*)
 
 (* ------------------------------------------------------------------------- *)
 (* I suppose this is also useful.                                            *)