From 2521a87414f0027e8fcef6b80fa414a5e0c20272 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