diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tac2entries.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/tac2entries.ml b/src/tac2entries.ml index da0e213340..6fce739d30 100644 --- a/src/tac2entries.ml +++ b/src/tac2entries.ml @@ -269,8 +269,7 @@ let inline_rec_tactic tactics = let map_body ((loc, id), _, e) = (loc, Name id), None, e in let bnd = List.map map_body tactics in let pat_of_id (loc, id) = - let qid = (loc, qualid_of_ident id) in - (CPatRef (Option.default dummy_loc loc, RelId qid, []), None) + (CPatVar (loc, Name id), None) in let var_of_id (loc, id) = let qid = (loc, qualid_of_ident id) in |