textsize supposed to be better then array size'

diff --git a/a4/mart/skeleton4.icl b/a4/mart/skeleton4.icl
index a521168..959e93c 100644 (file)
--- a/a4/mart/skeleton4.icl
+++ b/a4/mart/skeleton4.icl
@@ -8,7 +8,7 @@ Pieter Koopman, pieter@cs.ru.nl
 */
 
 import iTasks
-import StdArray // To check string length
+import Text // To check string length
 
 :: Idea:== String
 :: Name:== String
@@ -29,7 +29,7 @@ mainTask = doIdentified editIdea >>= viewInformation "The result" [
                //Format the indices and the ideas
                fideas i = map (\(x,y).toString (x+1) +++ ": " +++ y) (filt i)
                //Filter the ideas on length and add indices
-               filt i = zip2 (indexList i) (filter (\x.size x > 10) i)
+               filt i = zip2 (indexList i) (filter (\x.textSize x > 10) i)
 
 Start :: *World -> *World
 Start world = startEngine mainTask world