# HG changeset patch
# User jwe
# Date 825418188 0
# Node ID 03dd1c432e3bcbd740f9192de23774996db76353
# Parent  88aa1d1ed4af540adc756c157e1eac3d40861bf6
[project @ 1996-02-27 10:49:48 by jwe]

diff --git a/src/load-save.cc b/src/load-save.cc
--- a/src/load-save.cc
+++ b/src/load-save.cc
@@ -1105,7 +1105,8 @@
       return 0;
     }
 
-  name = new char [len];
+  name = new char [len+1];
+  name[len] = '\0';
   if (! is.read (name, len))
     goto data_read_error;