From 1b66aa305fef5c5d6a4257529fa9c9f11cd087d5 Mon Sep 17 00:00:00 2001
From: Roman Grothausmann <romangrothausmann@users.noreply.github.com>
Date: Tue, 20 Jun 2017 11:20:05 +0200
Subject: [PATCH] initialize acronym as empty token

---
 base/proposal.dtx | 1 +
 1 file changed, 1 insertion(+)

diff --git a/base/proposal.dtx b/base/proposal.dtx
index 0684cfb..e14b71f 100644
--- a/base/proposal.dtx
+++ b/base/proposal.dtx
@@ -700,6 +700,7 @@
 %    \end{macrocode}
 % We specify the page headings. 
 %    \begin{macrocode}
+\let\prop@gen@acronym\@empty
 \newif\ifofpage\ofpagefalse
 \ifgrantagreement
 \fancyhead{}