diff options
Diffstat (limited to 'exportclight')
| -rw-r--r-- | exportclight/ExportClight.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/exportclight/ExportClight.ml b/exportclight/ExportClight.ml index 4ff901eb..7604175e 100644 --- a/exportclight/ExportClight.ml +++ b/exportclight/ExportClight.ml @@ -216,8 +216,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_unproto:=%b; cc_structret:=%b|}" - cc.cc_vararg cc.cc_unproto cc.cc_structret + else fprintf p "{|cc_vararg:=%a; cc_unproto:=%b; cc_structret:=%b|}" + (print_option coqZ) cc.cc_vararg cc.cc_unproto cc.cc_structret (* External functions *) |