diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2016-03-04 17:40:10 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2016-03-04 17:40:48 +0100 |
commit | b98e4857a13a4014c65882af5321ebdb09f41890 (patch) | |
tree | c4968e85483866529cc8f4e9a37da28470548d90 /stm/asyncTaskQueue.ml | |
parent | 78b5670a0a1cf7ba31acabe710b311bf13df8745 (diff) |
Rename Ephemeron -> CEphemeron.
Fixes compilation of Coq with OCaml 4.03 beta 1.
Diffstat (limited to 'stm/asyncTaskQueue.ml')
-rw-r--r-- | stm/asyncTaskQueue.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stm/asyncTaskQueue.ml b/stm/asyncTaskQueue.ml index cc9732604..5f018ec39 100644 --- a/stm/asyncTaskQueue.ml +++ b/stm/asyncTaskQueue.ml @@ -314,7 +314,7 @@ module Make(T : Task) = struct let response = slave_respond request in report_status "Idle"; marshal_response (Option.get !slave_oc) response; - Ephemeron.clear () + CEphemeron.clear () with | MarshalError s -> pr_err ("Fatal marshal error: " ^ s); flush_all (); exit 2 |