From 04bf899c0b006c2347d8e0c36b2a2c2803b048a0 Mon Sep 17 00:00:00 2001 From: Cezary Kaliszyk Date: Mon, 26 Aug 2013 11:08:06 +0200 Subject: [PATCH] Update from HH --- make.ml | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) 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. *) -- 1.7.1