From 6688144a74f21da721b61c6ee036675f8ed57df2 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Fri, 6 Apr 2018 11:51:03 +0800 Subject: [PATCH] Add Char module to stdune --- src/stdune/stdune.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/stdune/stdune.ml b/src/stdune/stdune.ml index 944aafd1..90676cd2 100644 --- a/src/stdune/stdune.ml +++ b/src/stdune/stdune.ml @@ -17,6 +17,7 @@ module Result = Result module Set = Set module Staged = Staged module String = String +module Char = Char external reraise : exn -> _ = "%reraise"