1 files changed, 1 insertions, 1 deletions

diff --git a/.merlin b/.merlin
index bda18d549..394db528d 100644
--- a/.merlin
+++ b/.merlin
@@ -1,4 +1,4 @@
-FLG -rectypes -thread
+FLG -rectypes -thread -safe-string
 
 S ltac
 B ltac