Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-08-11 16:24:14 -0700 (Wed, 11 Aug 2004)
Revision: 6118
Log message:

      Correcting the parsing of anonymous hypotheses.  I was making up a variable
      instead of using Lm_symbol.empty_var as the variable bound to an anonymous
      hypothesis.
      

Changes  Path
+1 -2 metaprl/filter/phobos/phobos_parser.mly