Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-19 21:38:31 -0700 (Thu, 19 May 2005)
Revision: 1039
Log message:

      Use Lm_symbol.eq instead of (=) more consistently.
      

Changes  Path
+2 -2 libmojave/util/lm_symbol.ml