diff options
| -rw-r--r-- | toplevel/obligations.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/obligations.ml b/toplevel/obligations.ml index 54dd7fe5a6..6338fa9e43 100644 --- a/toplevel/obligations.ml +++ b/toplevel/obligations.ml @@ -962,6 +962,7 @@ let add_mutual_definitions l ?tactic ?(kind=Global,Definition) ?(reduce=reduce) let admit_prog prg = let obls, rem = prg.prg_obligations in + let obls = Array.copy obls in Array.iteri (fun i x -> match x.obl_body with |