diff -r 9e14fbd43e6b -r 372d6749f00e src/Tools/Metis/make-metis --- a/src/Tools/Metis/make-metis Tue Nov 13 17:04:16 2007 +0100 +++ b/src/Tools/Metis/make-metis Tue Nov 13 18:29:28 2007 +0100 @@ -22,7 +22,7 @@ print_depth 0; -structure Metis = struct end; +structure Metis = struct structure Word = Word structure Array = Array end; EOF for FILE in $(cat "$THIS/src/FILES")