From e16d10ed9f5ae8922b9e2b6838baef4c6d75d492 Mon Sep 17 00:00:00 2001
From: gareuselesinge
Date: Fri, 9 Aug 2013 12:41:20 +0000
Subject: checker validation fixed w.r.t. Futures

still not working, it complains about the universe constraint
set...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16691 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/future.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib')

diff --git a/lib/future.ml b/lib/future.ml
index b1b9607182..9333089fbe 100644
--- a/lib/future.ml
+++ b/lib/future.ml
@@ -29,11 +29,11 @@ let _ = Errors.register_handler (function
 (* Val is not necessarily a final state, so the
    computation restarts from the state stocked into Val *)
 type 'a comp =
+  | Delegated
+  | Dropped
   | Closure of (unit -> 'a)
   | Val of 'a * Dyn.t option
   | Exn of exn
-  | Delegated
-  | Dropped
 
 type 'a computation = 'a comp ref
 
-- 
cgit v1.2.3