diff options
| -rw-r--r-- | interp/constrintern.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/interp/constrintern.ml b/interp/constrintern.ml index a1faf95e21..48c9ca47a8 100644 --- a/interp/constrintern.ml +++ b/interp/constrintern.ml @@ -1558,6 +1558,7 @@ let internalize globalenv env allow_patvar lvar c = let ntnvars = Id.Map.domain ntnvars in let lvars = Id.Set.union lvars cvars in let lvars = Id.Set.union lvars ntnvars in + let lvars = Id.Set.union lvars env.ids in let ist = { Genintern.ltacvars = lvars; ltacrecvars = Id.Map.empty; |