diff options
Diffstat (limited to 'cfrontend/C2C.ml')
-rw-r--r-- | cfrontend/C2C.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index 7c6a4994..17c0a5cd 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -304,7 +304,7 @@ let name_for_string_literal s = { a_storage = C.Storage_static; a_alignment = Some 1; a_size = Some (Int64.of_int (String.length s + 1)); - a_sections = [Sections.for_stringlit()]; + a_sections = [Sections.for_stringlit 0]; a_access = Sections.Access_default; a_inline = No_specifier; a_loc = Cutil.no_loc }; @@ -337,7 +337,7 @@ let name_for_wide_string_literal s = a_alignment = Some wchar_size; a_size = Some (Int64.(mul (of_int (List.length s + 1)) (of_int wchar_size))); - a_sections = [Sections.for_stringlit()]; + a_sections = [Sections.for_stringlit 0]; a_access = Sections.Access_default; a_inline = No_specifier; a_loc = Cutil.no_loc }; |