lib/rouge/lexers/coq.rb in rouge-3.3.0 vs lib/rouge/lexers/coq.rb in rouge-3.4.0

@@ -139,10 +139,10 @@
         rule /[*][)]/, Comment, :pop!
         rule /[(*)]/, Comment
       end
 
       state :string do
-        rule /[^\\"]+/, Str::Double
+        rule /(?:\\")+|[^"]/, Str::Double
         mixin :escape_sequence
         rule /\\\n/, Str::Double
         rule /"/, Str::Double, :pop!
       end