From 73073bdd0c975d5986ec8de157353bb77c991f3b Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 24 May 2013 13:44:44 +0200
Subject: [PATCH] simpler Univ.unpack implementation

---
 univ.ml | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/univ.ml b/univ.ml
index 49ccfb7d..9bd62d5b 100644
--- a/univ.ml
+++ b/univ.ml
@@ -49,12 +49,10 @@ let embed () =
     { id = id; store = (fun () -> r := o); }
   in
   let unpack t =      (* try to extract the content of a univ cell *)
-    if id == t.id then begin
-      t.store ();
-      let a = !r in
-      r := None;
-      a
-    end else None
+    r := None;
+    t.store ();
+    let a = !r in
+    a
   in
   let set t a =       (* change, in place, the embedding and content of the cell *)
     t.id <- id;