Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-06-17 19:12:31 -0700 (Thu, 17 Jun 1999)
Revision: 2729
Log message:

      There is no need to use String_util.concat instead of String.concat
      

Changes	Path
+1 -1	metaprl/mllib/mp_id.ml
+0 -9	metaprl/mllib/string_util.ml
+0 -4	metaprl/mllib/string_util.mli