From c042b1bb94be89cc99fe4226edc3ce920d99f56b Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 5 Apr 2009 09:26:00 -0400 Subject: Avoid generating empty ", -- cgit v1.2.3