Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-27 15:58:57 -0700 (Tue, 27 Aug 2002)
Revision: 3828
Log message:

      Oops.  Mistake on the typing rule for tuple types.
      

Changes	Path
+1 -1	metaprl/theories/fir/mfir_tr_types.ml