diff options
Diffstat (limited to 'tactics/evar_tactics.ml')
-rw-r--r-- | tactics/evar_tactics.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tactics/evar_tactics.ml b/tactics/evar_tactics.ml index 7efa9299e..140deb3a9 100644 --- a/tactics/evar_tactics.ml +++ b/tactics/evar_tactics.ml @@ -25,6 +25,7 @@ let evars_of evc c = | _ -> fold_constr evrec acc c in evrec [] c + let instantiate n rawc ido gl = let wc = Refiner.project_with_focus gl in let evl = |