Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-04-03 13:03:26 -0800 (Thu, 03 Apr 2003)
Revision: 4381
Log message:

      Removing my BUG comment, given Jason's response to it
      (see the newsgroup).
      

Changes	Path
+0 -5	metaprl/theories/experimental/compile/m_inline.ml