From 755193218912c1c506483ac3236aa0b42c4c08d5 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 24 Aug 2019 02:14:11 +0200
Subject: [lib] [future] Small cleanup of ununsed functions.

---
 lib/future.ml | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'lib/future.ml')

diff --git a/lib/future.ml b/lib/future.ml
index 01fb7d0297..d3ea538549 100644
--- a/lib/future.ml
+++ b/lib/future.ml
@@ -98,7 +98,6 @@ let peek_val kx = let _, _, _, x = get kx in match !x with
 let uuid kx = let _, id, _, _ = get kx in id
 
 let from_val ?(fix_exn=id) v = create fix_exn (Val v)
-let from_here ?(fix_exn=id) v = create fix_exn (Val v)
 
 let fix_exn_of ck = let _, _, fix_exn, _ = get ck in fix_exn
 
@@ -168,8 +167,6 @@ let join kx =
   kx := Finished v;
   v
 
-let sink kx = if is_val kx then ignore(join kx)
-
 let split2 x =
   chain x (fun x -> fst x), chain x (fun x -> snd x)
 
-- 
cgit v1.2.3