--- a/src/cjr_print.sml	Sun Aug 03 19:52:37 2008 -0400
+++ b/src/cjr_print.sml	Thu Aug 07 13:09:26 2008 -0400
@@ -893,8 +893,14 @@
                                                        val n = case SM.find (fnums, x) of
                                                                    NONE => raise Fail "CjrPrint: Can't find in fnums"
                                                                  | SOME n => n
+
+                                                       val f = case t of
+                                                                   (TFfi ("Basis", "bool"), _) => "optional_"
+                                                                 | _ => ""
                                                    in
-                                                       box [string "request = lw_get_input(ctx, ",
+                                                       box [string "request = lw_get_",
+                                                            string f,
+                                                            string "input(ctx, ",
                                                             string (Int.toString n),
                                                             string ");",
                                                             newline,