From 42ec94ce2a3aa6686cccb12c8a78c91e2734d847 Mon Sep 17 00:00:00 2001
From: sewardj <unknown>
Date: Thu, 6 Jan 2000 11:57:11 +0000
Subject: [PATCH] [project @ 2000-01-06 11:57:11 by sewardj] Change NUM_TUPLES
 to 37, to match GHC.

---
 ghc/includes/options.h |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ghc/includes/options.h b/ghc/includes/options.h
index 7ce4ee2..7775e56 100644
--- a/ghc/includes/options.h
+++ b/ghc/includes/options.h
@@ -13,8 +13,8 @@
  * Hugs version 1.4, December 1997
  *
  * $RCSfile: options.h,v $
- * $Revision: 1.15 $
- * $Date: 1999/12/07 11:55:25 $
+ * $Revision: 1.16 $
+ * $Date: 2000/01/06 11:57:11 $
  * ------------------------------------------------------------------------*/
 
 
@@ -98,7 +98,7 @@
 #define LARGE_HUGS   1
 
 #define NUM_SYNTAX         100
-#define NUM_TUPLES         20
+#define NUM_TUPLES         37
 #define NUM_OFFSETS        1024
 #define NUM_CHARS          256
 #if TREX
-- 
1.7.10.4