From a57c1cc7ee84f3d900a597c4cbf0a817ddbb52c2 Mon Sep 17 00:00:00 2001
From: Mikael Djurfeldt <djurfeldt@nada.kth.se>
Date: Mon, 12 Jun 2000 18:13:38 +0000
Subject: [PATCH] * gdbint.c (SEND_STRING): Cast argument to char pointer.

---
 libguile/gdbint.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/libguile/gdbint.c b/libguile/gdbint.c
index 1e459e511..19d7d145b 100644
--- a/libguile/gdbint.c
+++ b/libguile/gdbint.c
@@ -109,8 +109,8 @@ do { \
 
 #define SEND_STRING(str) \
 do { \
-  gdb_output = str; \
-  gdb_output_length = strlen (str); \
+  gdb_output = (char *) (str); \
+  gdb_output_length = strlen ((const char *) (str)); \
 } while (0)