coq in rouge-2.0.7

- old
+ new

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