diff options
Diffstat (limited to 'lib/cString.ml')
| -rw-r--r-- | lib/cString.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/cString.ml b/lib/cString.ml index 1cb153b66..823a35679 100644 --- a/lib/cString.ml +++ b/lib/cString.ml @@ -107,7 +107,7 @@ let map f s = let drop_simple_quotes s = let n = String.length s in - if n > 2 && s.[0] = '\'' & s.[n-1] = '\'' then String.sub s 1 (n-2) else s + if n > 2 && s.[0] = '\'' && s.[n-1] = '\'' then String.sub s 1 (n-2) else s (* substring searching... *) |