From e09ed6e30543089073d2840fda48dc053a7e0a8e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Grubbstr=C3=B6m=20=28Grubba=29?=
<grubba@grubba.org>
Date: Sat, 25 Nov 2000 17:55:27 +0100
Subject: [PATCH] Disable PIKE_TYPE_DEBUG.
Rev: src/pike_types.c:1.142
---
src/pike_types.c | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/pike_types.c b/src/pike_types.c
index 3c75f67fb3..388389d049 100644
--- a/src/pike_types.c
+++ b/src/pike_types.c
@@ -5,7 +5,7 @@
\*/
/**/
#include "global.h"
-RCSID("$Id: pike_types.c,v 1.141 2000/10/04 05:12:13 hubbe Exp $");
+RCSID("$Id: pike_types.c,v 1.142 2000/11/25 16:55:27 grubba Exp $");
#include <ctype.h>
#include "svalue.h"
#include "pike_types.h"
@@ -27,7 +27,7 @@ RCSID("$Id: pike_types.c,v 1.141 2000/10/04 05:12:13 hubbe Exp $");
#include "main.h"
#include "opcodes.h"
-#define PIKE_TYPE_DEBUG
+/* #define PIKE_TYPE_DEBUG */
int max_correct_args;
--
GitLab