From 9232c8618eebdcd223fe8eddaa5f46fab0bce95e Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 21 Feb 2014 18:22:27 +0100
Subject: votour: better error messages

---
 checker/values.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'checker/values.ml')

diff --git a/checker/values.ml b/checker/values.ml
index 95befa2870..a047c80058 100644
--- a/checker/values.ml
+++ b/checker/values.ml
@@ -70,7 +70,7 @@ let v_computation f =
   Annot ("Future.computation",
   v_ref
     (v_sum "Future.comput" 0
-      [| [| Fail "Ongoing" |]; [| f |] |]))
+      [| [| Fail "Future.ongoing" |]; [| f |] |]))
 
 (** kernel/names *)
 
-- 
cgit v1.2.3