diff options
Diffstat (limited to 'proofs/tacmach.ml')
| -rw-r--r-- | proofs/tacmach.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/tacmach.ml b/proofs/tacmach.ml index 2b5114174..813a0d850 100644 --- a/proofs/tacmach.ml +++ b/proofs/tacmach.ml @@ -51,7 +51,7 @@ let pf_last_hyp gl = List.hd (pf_hyps gl) let pf_get_hyp gls id = try - Sign.lookup_named id (pf_hyps gls) + Context.lookup_named id (pf_hyps gls) with Not_found -> error ("No such hypothesis: " ^ (Id.to_string id)) |