Matthew Flatt wrote: >I forgot to try building from scratch after moving files around, and >I think this is now fixed.
Yes. Thanks. Philippe _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
