| changeset 25430 | 372d6749f00e |
| parent 23452 | 95b70054bb3a |
| child 30161 | c26e515f1c29 |
--- 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")