From: Cezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Date: Mon, 26 Aug 2013 09:08:06 +0000 (+0200)
Subject: Update from HH
X-Git-Url: http://colo12-c703.uibk.ac.at/git/?p=Infinite%20Ramsey%27s%20theorem%2F.git;a=commitdiff_plain;h=04bf899c0b006c2347d8e0c36b2a2c2803b048a0

Update from HH
---

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.                                            *)