Commit 55131c4598000be452f7832232d7b7a3a9992e77

Tom Tromey 1998-03-20T22:16:24

fixed aclocal bug