From 8707f0e08b99af727e0345ac939209b2d8c87d13 Mon Sep 17 00:00:00 2001 From: Thomas Refis Date: Thu, 2 Nov 2017 09:29:38 +0000 Subject: [PATCH] v0.9.115.24+69 --- src/jbuild | 1 + 1 file changed, 1 insertion(+) diff --git a/src/jbuild b/src/jbuild index 6c9d6e805..b066e515f 100644 --- a/src/jbuild +++ b/src/jbuild @@ -2,6 +2,7 @@ ((name ppx_let) (public_name ppx_let) (kind ppx_rewriter) + (flags (:standard -safe-string)) (libraries (ppx_core ppx_driver)) (preprocess no_preprocessing)))