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 1/2] 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{}

From ab0f8c94863df82d461a7e0c63988ab8309d1be0 Mon Sep 17 00:00:00 2001
From: Roman Grothausmann <romangrothausmann@users.noreply.github.com>
Date: Tue, 20 Jun 2017 11:22:16 +0200
Subject: [PATCH 2/2] compilation result

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

diff --git a/base/proposal.sty b/base/proposal.sty
index aed681e..1805127 100644
--- a/base/proposal.sty
+++ b/base/proposal.sty
@@ -52,6 +52,7 @@
 \renewcommand\ednoteshape{\sl\footnotesize}
 \ifpublic\excludecomment{private}\else\includecomment{private}\fi
 \setcounter{secnumdepth}{3}
+\let\prop@gen@acronym\@empty
 \newif\ifofpage\ofpagefalse
 \ifgrantagreement
 \fancyhead{}