src/Tools/Code/code_ml.ML
changeset 38933 bd77e092f67c
parent 38928 0e6f54c9d201
child 38966 68853347ba37
     1.1 --- a/src/Tools/Code/code_ml.ML	Tue Aug 31 16:51:29 2010 +0200
     1.2 +++ b/src/Tools/Code/code_ml.ML	Tue Aug 31 16:51:29 2010 +0200
     1.3 @@ -339,9 +339,8 @@
     1.4            end;
     1.5    in print_stmt end;
     1.6  
     1.7 -fun print_sml_module name some_decls body = if name = ""
     1.8 -  then Pretty.chunks2 body
     1.9 -  else Pretty.chunks2 (
    1.10 +fun print_sml_module name some_decls body =
    1.11 +  Pretty.chunks2 (
    1.12      Pretty.chunks (
    1.13        str ("structure " ^ name ^ (if is_some some_decls then " : sig" else " ="))
    1.14        :: (the_list o Option.map (indent 2 o Pretty.chunks)) some_decls
    1.15 @@ -665,9 +664,8 @@
    1.16            end;
    1.17    in print_stmt end;
    1.18  
    1.19 -fun print_ocaml_module name some_decls body = if name = ""
    1.20 -  then Pretty.chunks2 body
    1.21 -  else Pretty.chunks2 (
    1.22 +fun print_ocaml_module name some_decls body =
    1.23 +  Pretty.chunks2 (
    1.24      Pretty.chunks (
    1.25        str ("module " ^ name ^ (if is_some some_decls then " : sig" else " ="))
    1.26        :: (the_list o Option.map (indent 2 o Pretty.chunks)) some_decls