Index: tol_tests/tol/Bugzilla/bug_001428/test.tol
===================================================================
--- tol_tests/tol/Bugzilla/bug_001428/test.tol	(revision e6a6669f218c1e011214d4d384576b762c900660)
+++ tol_tests/tol/Bugzilla/bug_001428/test.tol	(revision 11fd2ea97a37d5b956c2bd323ca389bc21e292c9)
@@ -27,8 +27,7 @@
 Set ren = EvalSet(matrices, Fun);
 
-Set ok = EvalSet(ren, Real(Matrix m)
+Set ok = For(1,Card(ren), Real(Real i)
 {
-  Real i = MatDat(m,1,1);
-  Name(m)=="V."<<i
+  Name(ren[i])=="V."<<i
 });