1.1 --- a/src/Pure/ML-Systems/mosml.ML	Thu Jan 01 12:00:36 2009 +0100
     1.2 +++ b/src/Pure/ML-Systems/mosml.ML	Thu Jan 01 12:36:37 2009 +0100
     1.3 @@ -35,6 +35,7 @@
     1.4  load "Process";
     1.5  load "FileSys";
     1.6  load "IO";
     1.7 +load "CharVector";
     1.8  
     1.9  exception Interrupt;
    1.10