# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 851015137 0
# Node ID f52c4fd47f0377f8063607225fe63091b7ca2ab5
# Parent  039ef6e74d3a5a66e570685277b35c9771eb35ef
(x_set_title): Check data type of NAME.

diff -r 039ef6e74d3a -r f52c4fd47f03 src/xfns.c
--- a/src/xfns.c	Thu Dec 19 08:11:56 1996 +0000
+++ b/src/xfns.c	Thu Dec 19 17:05:37 1996 +0000
@@ -1877,6 +1877,8 @@
 
   if (NILP (name))
     name = f->name;
+  else
+    CHECK_STRING (name, 0);
 
   if (FRAME_X_WINDOW (f))
     {