aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--cparser/Elab.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml
index d1dce41f..4d3d1d02 100644
--- a/cparser/Elab.ml
+++ b/cparser/Elab.ml
@@ -558,9 +558,9 @@ and elab_parameters env params =
| _ ->
(* Prototype introduces a new scope *)
let (vars, _) = mmap elab_parameter (Env.new_scope env) params in
- (* Catch special case f(void) *)
+ (* Catch special case f(t) where t is void or a typedef to void *)
match vars with
- | [ ( {name=""}, TVoid _) ] -> Some []
+ | [ ( {name=""}, t) ] when is_void_type env t -> Some []
| _ -> Some vars
(* Elaboration of a function parameter *)