--- a/src/Pure/NJ1xx.ML Wed Oct 30 11:21:24 1996 +0100
+++ b/src/Pure/NJ1xx.ML Fri Nov 01 15:12:21 1996 +0100
@@ -14,6 +14,8 @@
| exit _ = OS.Process.exit OS.Process.failure;
fun quit () = exit 0;
+structure Int = Integer;
+
(*To change the current directory*)
val cd = OS.FileSys.chDir;