Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-21 17:19:36 -0700 (Tue, 21 Oct 2003)
Revision: 232
Log message:

      By using a more efficient re-implementation of the String.contains function,
      the running time of a no-op omake on MetaPRL tree is reduced by ~8%.
      

Changes	Path
+12 -5	libmojave/stdlib/lm_string_util.ml