From 4b4301a132b8d1144ed08c79b2ad918d70d5d37c Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 27 Apr 2012 09:52:16 -0400 Subject: Avoid generating empty