--- a/src/Pure/ML-Systems/mosml.ML Wed May 28 14:48:50 2008 +0200
+++ b/src/Pure/ML-Systems/mosml.ML Wed May 28 21:06:17 2008 +0200
@@ -53,6 +53,12 @@
open Int;
end;
+structure Substring =
+struct
+ open Substring;
+ val full = all;
+end;
+
structure Real =
struct
open Real;