# HG changeset patch
# User skalberg
# Date 1081164637 -7200
# Node ID af9d7fcf873e96b873a0fde57b105d28b02861f4
# Parent  4ca3608fdf4f5492386fad20f9ef7dc66f5e39b9
Whoops. Those default cases can be tricky.

diff -r 4ca3608fdf4f -r af9d7fcf873e src/Pure/ML-Systems/smlnj.ML
--- a/src/Pure/ML-Systems/smlnj.ML	Mon Apr 05 13:23:10 2004 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML	Mon Apr 05 13:30:37 2004 +0200
@@ -46,7 +46,7 @@
   [110, x] => if x >= 45
 	      then use "ML-Systems/cpu-timer-basis.ML"
 	      else use "ML-Systems/cpu-timer-gc.ML"
-| _ => ());
+| _ => use "ML-Systems/cpu-timer-gc.ML");
 
 
 (* prompts *)
@@ -67,7 +67,7 @@
   [110, x] => if x >= 45
 	      then use "ML-Systems/smlnj-pp-new.ML"
 	      else use "ML-Systems/smlnj-pp-old.ML"
-| _ => ());
+| _ => use "ML-Systems/smlnj-pp-old.ML");
 
 fun install_pp (path, pp) = Compiler.PPTable.install_pp path pp;