diff src/mono_print.sml @ 695:500e93aa436f

sleep and better Scriptcheck
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Apr 2009 15:56:47 -0400
parents a3ddf05fb3e3
children 70cbdcf5989b
line wrap: on
line diff
--- a/src/mono_print.sml	Sat Apr 04 14:55:36 2009 -0400
+++ b/src/mono_print.sml	Sat Apr 04 15:56:47 2009 -0400
@@ -318,6 +318,11 @@
                                 string ")[",
                                 p_exp env e,
                                 string "]"]
+      | ESleep (n, e) => box [string "Sleep(",
+                              p_exp env n,
+                              string ")[",
+                              p_exp env e,
+                              string "]"]
 
 and p_exp env = p_exp' false env