Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-08 18:04:17 -0700 (Fri, 08 Jul 2005)
Revision: 1204
Log message:

      For better output readability, when pretty printing node sets, order them in
      alpabetical-like manner.
      

Changes	Path
+12 -4	omake/src/ir/omake_node.ml