# HG changeset patch # User jwe # Date 792645748 0 # Node ID 3243a4f599379dd900d19dafb715ddb22e573e70 # Parent aa777b1a585ea2b07ee2f5d2eee55afdc90fb00c [project @ 1995-02-13 03:22:28 by jwe] diff -r aa777b1a585e -r 3243a4f59937 src/load-save.cc --- a/src/load-save.cc Mon Feb 13 03:17:36 1995 +0000 +++ b/src/load-save.cc Mon Feb 13 03:22:28 1995 +0000 @@ -1849,7 +1849,9 @@ else tc = re; - if (type == 1) +// XXX FIXME XXX -- this needs to change once strings really work. + + if (type == 1 && nr == 1) tc = tc.convert_to_str (); return name;