Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-02-19 02:37:45 -0800 (Wed, 19 Feb 2003)
Revision: 4089
Log message:

      Switched hardcoded term with the new Phobos-enabled term notation.
      Fancy way of saying putting things to the test.
      

Changes	Path
+12 -10	metaprl/theories/experimental/compile/m_ir.ml