From 1081fc7e34635b17747d793f8d58cbe5cfdb17bc Mon Sep 17 00:00:00 2001 From: Thomas Refis Date: Thu, 29 Mar 2018 15:44:56 +0100 Subject: [PATCH] v0.11.117.00+101 --- src/jbuild | 1 - test/jbuild | 1 - 2 files changed, 2 deletions(-) diff --git a/src/jbuild b/src/jbuild index e4ada02f2..b48b4f4ae 100644 --- a/src/jbuild +++ b/src/jbuild @@ -2,7 +2,6 @@ (name ppx_let) (public_name ppx_let) (kind ppx_rewriter) - (flags (:standard -safe-string)) (libraries (base ppxlib)) (preprocess no_preprocessing))) diff --git a/test/jbuild b/test/jbuild index c018f5a9c..6bf70a34f 100644 --- a/test/jbuild +++ b/test/jbuild @@ -1,6 +1,5 @@ (executables ( (names (test)) - (flags (:standard -safe-string)) (preprocess (pps (ppx_let ppxlib.runner)))))