diff options
Diffstat (limited to 'cparser/Elab.ml')
| -rw-r--r-- | cparser/Elab.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml index 2b31009..bbb049e 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -1263,8 +1263,6 @@ let elab_for_expr loc env = function (* Elaboration of initializers *) -(* Initializers are first elaborated to the following type: *) - let project_init loc il = List.map (fun (what, i) -> |