From 444b1d4d4a26703fd48aea83500b44eb637ec6ee Mon Sep 17 00:00:00 2001
From: Mikael Djurfeldt <djurfeldt@nada.kth.se>
Date: Tue, 20 Aug 1996 17:11:17 +0000
Subject: [PATCH] * print.h: Defines for print options.

---
 libguile/print.h | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/libguile/print.h b/libguile/print.h
index ae23eaf00..97138a6ff 100644
--- a/libguile/print.h
+++ b/libguile/print.h
@@ -47,7 +47,13 @@
 #include "__scm.h"
 
 
+extern scm_option scm_print_opts[];
+
+#define PRINT_PROCNAMES  scm_print_opts[0].val
+#define N_PRINT_OPTIONS 1
+
 #ifdef __STDC__
+extern SCM scm_print_options (SCM new_values);
 extern void scm_intprint (long n, int radix, SCM port);
 extern void scm_ipruk (char *hdr, SCM ptr, SCM port);
 extern void scm_iprlist (char *hdr, SCM exp, char tlr, SCM port, int writing);
@@ -59,6 +65,7 @@ extern SCM scm_write_char (SCM chr, SCM port);
 extern void scm_init_print (void);
 
 #else /* STDC */
+extern SCM scm_print_options ();
 extern void scm_intprint ();
 extern void scm_ipruk ();
 extern void scm_iprlist ();