diff --git a/src/pp_babillard.ml b/src/pp_babillard.ml index 78e49c3..ac21946 100644 --- a/src/pp_babillard.ml +++ b/src/pp_babillard.ml @@ -221,7 +221,7 @@ let pp_thread fmt op posts = {|