diff options
Diffstat (limited to 'tactics/auto.ml')
| -rw-r--r-- | tactics/auto.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/auto.ml b/tactics/auto.ml index daf97d529..741753521 100644 --- a/tactics/auto.ml +++ b/tactics/auto.ml @@ -722,7 +722,7 @@ let unify_resolve_nodelta (c,clenv) gl = let unify_resolve flags (c,clenv) gl = let clenv' = connect_clenv gl clenv in let _ = clenv_unique_resolver false ~flags clenv' gl in - h_apply true false [inj_open c,NoBindings] gl + h_apply true false [dummy_loc,(inj_open c,NoBindings)] gl let unify_resolve_gen = function | None -> unify_resolve_nodelta |