# HG changeset patch
# User jwe
# Date 784431911 0
# Node ID 06bf5c8651eede3d8a64162e324636e791801966
# Parent  efb4cbdaac262ab74f8f64fbbe4cb39b0231469e
[project @ 1994-11-10 01:45:11 by jwe]

diff -r efb4cbdaac26 -r 06bf5c8651ee src/load-save.cc
--- 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);