diff -r 468eff174a77 -r 5b9d7e578756 lib/Tools/findlogics
--- a/lib/Tools/findlogics	Sat Aug 22 17:08:06 2009 +0200
+++ b/lib/Tools/findlogics	Sat Aug 22 22:31:00 2009 +0200
@@ -34,7 +34,7 @@
   do
     if [ -f "$FILE" ]; then
       NAME=$(basename "$FILE")
-      LOGICS+=("$NAME")
+      LOGICS["${#LOGICS[@]}"]="$NAME"
     fi
   done
 done