Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-06-08 16:28:21 -0700 (Thu, 08 Jun 2006)
Revision: 9277
Log message:

      Killing off two more unused functions

Changes  Path
+0 -4 omake-branches/0.9.8.x/src/ir/omake_ir_print.ml