diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-08-17 11:25:52 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-08-17 11:25:52 +0200 |
| commit | b1a7b024933140296c7f995d20ef840687949771 (patch) | |
| tree | 028aa5d5aaf7ee946194bfff3125f509d4cfa004 /exportclight/ExportClight.ml | |
| parent | e46fa563d09371c74994957e260b7db14df9a7db (diff) | |
| download | compcert-kvx-b1a7b024933140296c7f995d20ef840687949771.tar.gz compcert-kvx-b1a7b024933140296c7f995d20ef840687949771.zip | |
Update clightgen w.r.t. teh calling_conventions record (new field cc_unproto).
Diffstat (limited to 'exportclight/ExportClight.ml')
| -rw-r--r-- | exportclight/ExportClight.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/exportclight/ExportClight.ml b/exportclight/ExportClight.ml index 9f8d596c..9563d551 100644 --- a/exportclight/ExportClight.ml +++ b/exportclight/ExportClight.ml @@ -206,7 +206,8 @@ and typlist p = function and callconv p cc = if cc = cc_default then fprintf p "cc_default" - else fprintf p "{|cc_vararg:=%b; cc_structret:=%b|}" cc.cc_vararg cc.cc_structret + else fprintf p "{|cc_vararg:=%b; cc_unproto:=%b; cc_structret:=%b|}" + cc.cc_vararg cc.cc_unproto cc.cc_structret (* External functions *) |