Re: [PATCH] Simplify read-md.c and read-rtl.c using require_char_ws

[Bernd Schmidt]

On 05/10/2016 08:10 PM, David Malcolm wrote:

+/* Consume any whitespace, then consume the next non-whitespace
+   character, issuing a fatal error if it is not EXPECTED.  */
+
+void require_char_ws (char expected)

Formatting.

Otherwise ok.


Bernd