Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-20 08:27:19 -0700 (Fri, 20 Sep 2002)
Revision: 3881
Log message:
Oops. Attempting to fix build problem with MCC when the FIR theory
is included.
Changes | Path |
+7 -3 | metaprl/theories/fir/Conscript |
+1 -2 | metaprl/theories/fir/mfir_theory.mlz |