diff options
Diffstat (limited to 'camlp4/etc/pa_ru.ml')
| -rw-r--r-- | camlp4/etc/pa_ru.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/camlp4/etc/pa_ru.ml b/camlp4/etc/pa_ru.ml index d3060c88c5..13b4ac96a6 100644 --- a/camlp4/etc/pa_ru.ml +++ b/camlp4/etc/pa_ru.ml @@ -38,7 +38,7 @@ EXTEND in [<:expr< let $opt:o2b o$ $list:l$ in $e$ >>] | e = expr; ";"; el = SELF -> - let e = let loc = MLast.loc_of_expr e in <:expr< ($e$ : unit) >> in + let e = let _loc = MLast.loc_of_expr e in <:expr< ($e$ : unit) >> in [e :: el] | e = expr; ";" -> [e] | e = expr -> [e] ] ] |