lib/rouge/demos/coq in rouge-3.28.0 vs lib/rouge/demos/coq in rouge-3.29.0

@@ -8,6 +8,6 @@
     | nil => 0
     | _ :: ls => S (length ls)
     end.
 End with_T.
 
-Definition a_string := "hello \" world".
\ No newline at end of file
+Definition a_string := "hello \" world".