diff src/oct-map.cc @ 5900:c20eb7330d13

[project @ 2006-07-22 08:31:16 by jwe]
author jwe
date Sat, 22 Jul 2006 08:31:17 +0000
parents 70b3f8f1a793
children 30891d1d0c86
line wrap: on
line diff
--- a/src/oct-map.cc	Wed Jul 19 23:00:22 2006 +0000
+++ b/src/oct-map.cc	Sat Jul 22 08:31:17 2006 +0000
@@ -91,13 +91,6 @@
 string_vector
 Octave_map::keys (void) const
 {
-  if (length () != key_list.size ())
-    {
-      std::cerr << "length () = " << length () << std::endl;
-      std::cerr << "key_list.size () = " << key_list.size () << std::endl;
-      abort ();
-    }
-
   assert (length () == key_list.size ());
 
   return string_vector (key_list);