--- a/src/Pure/ML-Systems/mosml.ML Thu Jan 01 12:00:36 2009 +0100 +++ b/src/Pure/ML-Systems/mosml.ML Thu Jan 01 12:36:37 2009 +0100 @@ -35,6 +35,7 @@ load "Process"; load "FileSys"; load "IO"; +load "CharVector"; exception Interrupt;