Where is the bug in ReadFromFile New comment Boogie 2007.04.02 08:08 Igor Durkin 2007.04.02 08:14 #1 You should use this code as a script. New comment