diff options
Diffstat (limited to 'tactics/tacticals.ml')
| -rw-r--r-- | tactics/tacticals.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tactics/tacticals.ml b/tactics/tacticals.ml index 2131dc480..1b8cf531b 100644 --- a/tactics/tacticals.ml +++ b/tactics/tacticals.ml @@ -534,7 +534,6 @@ module New = struct let nthDecl m gl = let hyps = Proofview.Goal.hyps gl in try - let hyps = Environ.named_context_of_val hyps in List.nth hyps (m-1) with Failure _ -> Errors.error "No such assumption." |