diff options
Diffstat (limited to 'grammar/argextend.mlp')
-rw-r--r-- | grammar/argextend.mlp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/grammar/argextend.mlp b/grammar/argextend.mlp index 5ec8086d0..10ead2c29 100644 --- a/grammar/argextend.mlp +++ b/grammar/argextend.mlp @@ -9,7 +9,6 @@ open Q_util let loc = Ploc.dummy -let default_loc = <:expr< Loc.internal_ghost >> IFDEF STRICT THEN let ploc_vala x = Ploc.VaVal x |