From 7081a411c8f8c614f579b9957b2021b721c02586 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 6 Jun 2021 17:16:26 -0400 Subject: [PATCH] small doc change --- src/core/CCParse.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/src/core/CCParse.ml b/src/core/CCParse.ml index f53f789c..12bc43c3 100644 --- a/src/core/CCParse.ml +++ b/src/core/CCParse.ml @@ -9,7 +9,6 @@ open CCShims_ type tree = L of int | N of tree * tree end open T - open Result let mk_leaf x = L x let mk_node x y = N(x,y)