fprintf(fin,"%s",incLineBuffer);
if (strlen(incLineBuffer)) {
incLineCount++;
-diff --git a/debian/patches/as31-fix-duplicate-line.patch b/debian/patches/as31-fix-duplicate-line.patch
-index e5a6064..e69de29 100644
---- a/debian/patches/as31-fix-duplicate-line.patch
-+++ b/debian/patches/as31-fix-duplicate-line.patch
-@@ -1,22 +0,0 @@
----- as31-2.3.1-orig/as31/run.c 2012-01-11 19:29:35.000000000 -0500
--+++ as31-2.3.1/as31/run.c 2012-01-11 19:31:56.000000000 -0500
--@@ -106,7 +106,8 @@
-- }
--
-- while (!feof(finPre)) {
--- getline(&lineBuffer,&sizeBuf,finPre);
--+ if (getline(&lineBuffer,&sizeBuf,finPre) == -1)
--+ break;
-- if ((includePtr=strstr(lineBuffer,INC_CMD))) {
-- includePtr=includePtr+strlen(INC_CMD);
-- while ((*includePtr==' ')|| //move includePtr to filename
--@@ -131,7 +132,8 @@
-- mesg_f("Cannot open include file: %s\n",includePtr);
-- } else {
-- while (!feof(includeFile)) {
--- getline(&incLineBuffer,&incSizeBuf,includeFile);
--+ if (getline(&incLineBuffer,&incSizeBuf,includeFile) == -1)
--+ break;
-- fprintf(fin,"%s",incLineBuffer);
-- if (strlen(incLineBuffer)) {
-- incLineCount++;