Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2006-12-08 16:51:40 -0800 (Fri, 08 Dec 2006)
Revision: 9860
Log message:

      In my rev. 9856 commit (where I reorginized the progress bar erasure code), I
      forgot to add the progress bar erasure in one place - fixing.
      

Changes  Path
+5 -2 omake-branches/0.9.8.x/src/exec/omake_exec_util.ml