From afbe00cbe9ad1518455aed519599cdff6ae334d9 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 16 Sep 2015 14:46:05 +0200 Subject: [PATCH] bugfix in `CCSexpM` --- src/sexp/CCSexpM.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sexp/CCSexpM.ml b/src/sexp/CCSexpM.ml index a6234a5f..a2d490f7 100644 --- a/src/sexp/CCSexpM.ml +++ b/src/sexp/CCSexpM.ml @@ -63,7 +63,7 @@ let _must_escape s = for i = 0 to String.length s - 1 do let c = String.unsafe_get s i in match c with - | ' ' | ';' | ')' | '(' | '"' | '\n' | '\t' -> raise Exit + | ' ' | ';' | ')' | '(' | '"' | '\\' | '\n' | '\t' -> raise Exit | _ when Char.code c > 127 -> raise Exit (* non-ascii *) | _ -> () done;