Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-20 08:30:35 -0700 (Fri, 20 Sep 2002)
Revision: 3882
Log message:

      Okay.  _Now_ the MCC/MetaPRL build problem that I created in my
      last few commits is fixed... *sigh*
      

Changes	Path
+2 -2	metaprl/theories/fir/Conscript