# HG changeset patch
# User jwe
# Date 793461089 0
# Node ID 8fa4dc6a606854ba927a2884792e7ca12e0d9212
# Parent  65430ec9a4aa10630fb78b5d57d728331ef243f0
[project @ 1995-02-22 13:51:29 by jwe]

diff -r 65430ec9a4aa -r 8fa4dc6a6068 src/tc-rep-idx.cc
--- a/src/tc-rep-idx.cc	Wed Feb 22 13:33:31 1995 +0000
+++ b/src/tc-rep-idx.cc	Wed Feb 22 13:51:29 1995 +0000
@@ -551,7 +551,7 @@
       const double *cop_out_index = mi.data ();
 
       idx_vector iv (mi, 1, "", len);
-      if (! iv)
+      if (! iv || range_max_check (iv.max (), len) < 0)
 	return retval;
 
       int result_size = iv.length ();