Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-18 17:44:40 -0700 (Wed, 18 Jul 2001)
Revision: 3341
Log message:

      Had to increase the bytecode stack size so that bytecode can handle large
      .prla files.
      

Changes  Path
+4 -0 metaprl/BUGS
+1 -2 metaprl/mllib/list_util.ml
+7 -8 metaprl/refiner/refbase/opname.ml