From: Guillermo J. Rozas <edu/mit/csail/zurich/gjr>
Date: Mon, 1 Nov 1993 23:52:47 +0000 (+0000)
Subject: Add builtin_index_to_name, missing when there is no compiler support.
X-Git-Tag: 20090517-FFI~7628
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=71462722874604bbf097febcfb204b27beb99683;p=mit-scheme.git

Add builtin_index_to_name, missing when there is no compiler support.
---

diff --git a/v7/src/microcode/cmpint.c b/v7/src/microcode/cmpint.c
index 16f2d8138..8eee56323 100644
--- a/v7/src/microcode/cmpint.c
+++ b/v7/src/microcode/cmpint.c
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Id: cmpint.c,v 1.74 1993/10/30 03:04:27 gjr Exp $
+$Id: cmpint.c,v 1.75 1993/11/01 23:52:47 gjr Exp $
 
 Copyright (c) 1989-1993 Massachusetts Institute of Technology
 
@@ -3823,6 +3823,7 @@ DEFUN (coerce_to_compiled,
 
 extern char * EXFUN (utility_index_to_name, (int));
 extern void EXFUN (declare_builtin, (unsigned long));
+extern char * EXFUN (builtin_index_to_name, (int));
 extern int EXFUN (pc_to_utility_index, (unsigned long));
 extern int EXFUN (pc_to_builtin_index, (unsigned long));
 
@@ -3838,6 +3839,12 @@ DEFUN (declare_builtin, (builtin), unsigned long builtin)
   return;
 }
 
+char *
+DEFUN (builtin_index_to_name, (index), int index)
+{
+  return ((char *) NULL);
+}
+
 int
 DEFUN (pc_to_utility_index, (pc), unsigned long pc)
 {
diff --git a/v8/src/microcode/cmpint.c b/v8/src/microcode/cmpint.c
index 16f2d8138..8eee56323 100644
--- a/v8/src/microcode/cmpint.c
+++ b/v8/src/microcode/cmpint.c
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Id: cmpint.c,v 1.74 1993/10/30 03:04:27 gjr Exp $
+$Id: cmpint.c,v 1.75 1993/11/01 23:52:47 gjr Exp $
 
 Copyright (c) 1989-1993 Massachusetts Institute of Technology
 
@@ -3823,6 +3823,7 @@ DEFUN (coerce_to_compiled,
 
 extern char * EXFUN (utility_index_to_name, (int));
 extern void EXFUN (declare_builtin, (unsigned long));
+extern char * EXFUN (builtin_index_to_name, (int));
 extern int EXFUN (pc_to_utility_index, (unsigned long));
 extern int EXFUN (pc_to_builtin_index, (unsigned long));
 
@@ -3838,6 +3839,12 @@ DEFUN (declare_builtin, (builtin), unsigned long builtin)
   return;
 }
 
+char *
+DEFUN (builtin_index_to_name, (index), int index)
+{
+  return ((char *) NULL);
+}
+
 int
 DEFUN (pc_to_utility_index, (pc), unsigned long pc)
 {