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"