From 695e8b577ee9bc49888133b8690db77f3d6ac3b7 Mon Sep 17 00:00:00 2001
From: whitequark
Date: Tue, 19 Jun 2018 14:51:53 +0000
Subject: Rename CEphemeron.clear→clean for clarity.

---
 stm/asyncTaskQueue.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'stm/asyncTaskQueue.ml')

diff --git a/stm/asyncTaskQueue.ml b/stm/asyncTaskQueue.ml
index 768d94d305..94e04d1842 100644
--- a/stm/asyncTaskQueue.ml
+++ b/stm/asyncTaskQueue.ml
@@ -325,7 +325,7 @@ module Make(T : Task) () = struct
         let response = slave_respond request in
         report_status "Idle";
         marshal_response (Option.get !slave_oc) response;
-        CEphemeron.clear ()
+        CEphemeron.clean ()
       with
       | MarshalError s ->
         stm_pr_err Pp.(prlist str ["Fatal marshal error: "; s]); flush_all (); exit 2
-- 
cgit v1.2.3