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 dc4ac55b2..686d4b471 100644 --- a/tactics/auto.ml +++ b/tactics/auto.ml @@ -119,7 +119,7 @@ let exact poly (c,clenv) = let ctx = Evd.evar_universe_context clenv.evd in ctx, c in - Proofview.Goal.s_enter { enter = begin fun gl sigma -> + Proofview.Goal.s_enter { s_enter = begin fun gl sigma -> let sigma = Sigma.to_evar_map sigma in let sigma = Evd.merge_universe_context sigma ctx in Sigma.Unsafe.of_pair (exact_check c', sigma) |