changeset 909:06bf5c8651ee

[project @ 1994-11-10 01:45:11 by jwe]
author jwe
date Thu, 10 Nov 1994 01:45:11 +0000
parents efb4cbdaac26
children 5de3b53c0e02
files src/load-save.cc
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/load-save.cc	Wed Nov 09 23:04:29 1994 +0000
+++ b/src/load-save.cc	Thu Nov 10 01:45:11 1994 +0000
@@ -2448,7 +2448,7 @@
       double tmp = tc.double_value ();
       os.write (&tmp, 8);
     }
-  else if (tc.is_real_matrix ())
+  else if (tc.is_real_matrix () || tc.is_range ())
     {
       Matrix m = tc.matrix_value ();
       os.write (m.data (), 8 * len);