From dd5b261e20bd9a5b05e2194e83a98d1639764f41 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Mon, 10 Sep 2012 14:27:50 +0000
Subject: Fixed #2893.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15790 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/obligations.ml | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v1.2.3