X-Git-Url: http://colo12-c703.uibk.ac.at/git/?p=Infinite%20Ramsey%27s%20theorem%2F.git;a=blobdiff_plain;f=make.ml;fp=make.ml;h=b355989eeed40c0606f7d2f0b213d0b9fc149f2b;hp=3b6c792bb4e2aa840a600385327f7a82b42694f7;hb=04bf899c0b006c2347d8e0c36b2a2c2803b048a0;hpb=f986f4ab8bacda9c76e77343c417321c30488259

diff --git a/make.ml b/make.ml
index 3b6c792..b355989 100644
--- 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.                                            *)