diff options
Diffstat (limited to 'interp/reserve.ml')
| -rw-r--r-- | interp/reserve.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/interp/reserve.ml b/interp/reserve.ml index deb696733..f6f9fe60d 100644 --- a/interp/reserve.ml +++ b/interp/reserve.ml @@ -56,7 +56,7 @@ let rec unloc = function | RHole (_,x) -> RHole (dummy_loc,x) | RRef (_,x) -> RRef (dummy_loc,x) | REvar (_,x) -> REvar (dummy_loc,x) - | RMeta (_,x) -> RMeta (dummy_loc,x) + | RPatVar (_,x) -> RPatVar (dummy_loc,x) | RDynamic (_,x) -> RDynamic (dummy_loc,x) let anonymize_if_reserved na t = match na with |