Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-27 19:25:09 -0700 (Wed, 27 Apr 2005)
Revision: 911
Log message:

      Make sure that Lm_symbol.string_of_symbol and Lm_symbol.add provide a
      bidirectional 1-to-1 mapping between strings and variables. In other words
      "Lm_symbol.string_of_symbol o Lm_symbol.add" and "Lm_symbol.add o
      Lm_symbol.string_of_symbol" should both be identity functions.
      

Changes	Path
+11 -7	libmojave/util/lm_symbol.ml