[berkeley-abc] 01/01: Removed not important patch

[Ruben Undheim]

This is an automated email from the git hooks/post-receive script.

rubund-guest pushed a commit to branch master-jessie
in repository berkeley-abc.

commit a0a68072252563fcbbc9a3354732d4c0570fd4de
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date:   Tue May 26 20:35:39 2015 +0200

    Removed not important patch
---
 debian/patches/series         |  1 -
 debian/patches/writepla.patch | 17 -----------------
 2 files changed, 18 deletions(-)

diff --git a/debian/patches/series b/debian/patches/series
index ad702a2..8662c11 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -3,5 +3,4 @@ remove_zlib_convenience.patch
 cflags_ldflags.patch
 04_memory_alignment_fix.patch
 reproducibility.patch
-writepla.patch
 abc-bugfix-20150403.diff
diff --git a/debian/patches/writepla.patch b/debian/patches/writepla.patch
deleted file mode 100644
index 068173b..0000000
--- a/debian/patches/writepla.patch
+++ /dev/null
@@ -1,17 +0,0 @@
-Description: soften an overzealous assert
- otherwise the abc will refuse to output trivial functions(constant 1 or 0).
-Forwarded: https://bitbucket.org/alanmi/abc/issue/27/assertion-failure-in-write_pla-command
-Author: Johann Klammer <klammerj at a1.net>
-Index: berkeley-abc/src/base/io/ioWritePla.c
-===================================================================
---- berkeley-abc.orig/src/base/io/ioWritePla.c	2015-03-31 17:11:10.153821268 +0200
-+++ berkeley-abc/src/base/io/ioWritePla.c	2015-03-31 17:11:10.149821268 +0200
-@@ -50,7 +50,7 @@
-     FILE * pFile;
- 
-     assert( Abc_NtkIsSopNetlist(pNtk) );
--    assert( Abc_NtkLevel(pNtk) == 1 );
-+    assert( Abc_NtkLevel(pNtk) <= 1 );
- 
-     pFile = fopen( pFileName, "w" );
-     if ( pFile == NULL )

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/berkeley-abc.git