diff options
Diffstat (limited to 'proofs/proof.ml')
| -rw-r--r-- | proofs/proof.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/proofs/proof.ml b/proofs/proof.ml index 1dca04336f..35166def01 100644 --- a/proofs/proof.ml +++ b/proofs/proof.ml @@ -226,9 +226,9 @@ let end_of_stack = CondEndStack end_of_stack_kind let unfocused = is_last_focus end_of_stack_kind -let start goals = +let start sigma goals = let pr = { - proofview = Proofview.init goals ; + proofview = Proofview.init sigma goals ; focus_stack = [] ; shelf = [] ; given_up = [] } in |