diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-25 14:35:49 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-25 14:35:49 -0400 |
| commit | 3d0a7f3cd81daaa7d49de95de7fe4eb8d1288876 (patch) | |
| tree | 71212823b38e6c57adf86e66184c7c6a00c451bc /src/cjr_print.sml | |
| parent | 2dd6e83e23759ef4f5a27e399e43636881449345 (diff) | |
Only allow single-file upload per control
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index d24cbfa4..07e3931f 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -456,9 +456,9 @@ fun isBlob Blob = true | isBlob (Nullable t) = isBlob t | isBlob _ = false -fun isFiles (t : typ) = +fun isFile (t : typ) = case #1 t of - TFfi ("Basis", "files") => true + TFfi ("Basis", "file") => true | _ => false fun p_sql_type' t = @@ -2423,7 +2423,7 @@ fun p_file env (ds, ps) = (TFfi ("Basis", "bool"), _) => "optional_" | _ => "" in - if isFiles t then + if isFile t then box [string "uw_input_", p_ident x, space, |