diff options
Diffstat (limited to 'exportclight')
| -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 *) |