diff options
Diffstat (limited to 'backend/CMparser.mly')
-rw-r--r-- | backend/CMparser.mly | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/backend/CMparser.mly b/backend/CMparser.mly index b28578e1..5d93b84a 100644 --- a/backend/CMparser.mly +++ b/backend/CMparser.mly @@ -490,9 +490,9 @@ proc: signature: type_ - { {sig_args = []; sig_res = Some $1} } + { {sig_args = []; sig_res = Some $1; sig_cc = cc_default} } | VOID - { {sig_args = []; sig_res = None} } + { {sig_args = []; sig_res = None; sig_cc = cc_default} } | type_ MINUSGREATER signature { let s = $3 in {s with sig_args = $1 :: s.sig_args} } ; |