diff options
Diffstat (limited to 'tactics')
| -rw-r--r-- | tactics/declare.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/declare.ml b/tactics/declare.ml index e1ddf262a0..6945f13fc3 100644 --- a/tactics/declare.ml +++ b/tactics/declare.ml @@ -779,7 +779,7 @@ let update_global_env = let next = let n = ref 0 in fun () -> incr n; !n -let by tac = map_fold_proof (Pfedit.solve (Goal_select.SelectNth 1) None tac) +let by tac = map_fold_proof (Proof.solve (Goal_select.SelectNth 1) None tac) let build_constant_by_tactic ~name ?(opaque=Transparent) ~uctx ~sign ~poly typ tac = let evd = Evd.from_ctx uctx in |