Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-08-10 01:39:22 -0700 (Sat, 10 Aug 2002)
Revision: 3786
Log message:

      Makefile was missing ../phobos.
      

Changes  Path
+1 -1 metaprl/theories/mc/Makefile