diff options
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index c5931616..79a43d19 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -1124,6 +1124,8 @@ fun urlify env t = urlify' IS.empty 0 t end +val timeout = ref 0 + fun p_exp' par env (e, loc) = case e of EPrim p => Prim.p_t_GCC p @@ -2688,6 +2690,10 @@ fun p_file env (ds, ps) = string (Int.toString (SM.foldl Int.max 0 fnums + 1)), string ";", newline, + string "int uw_timeout = ", + string (Int.toString (!timeout)), + string ";", + newline, newline, string "int uw_input_num(char *name) {", newline, |