lib/rouge/lexers/coq.rb in rouge-2.0.6 vs lib/rouge/lexers/coq.rb in rouge-2.0.7

@@ -148,9 +148,13 @@
         mixin :escape_sequence
         rule /\\\n/, Str::Double
         rule /"/, Str::Double, :pop!
       end
 
+      state :escape_sequence do
+        rule /\\[\\"'ntbr]/, Str::Escape
+      end
+
       state :continue_id do
         # the stream starts with an id (stored in @name) and continues here
         rule dot_id do |m|
           token Name::Namespace , @name
           token Punctuation , '.'