Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-22 02:45:03 -0700 (Tue, 22 Apr 2003)
Revision: 4469
Log message:

      Missed one incomplete match warning in my previous commit.
      

Changes	Path
+3 -0	metaprl/editor/ml/shell.ml