From bd4e0f19b94445c9f1a30d8f234e179777460ef2 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 13 Mar 2017 22:17:49 +0100
Subject: [PATCH] [buddy] remove useless #include<assert.h>

* src/bddio.c, src/bddop.c, src/imatrix.c, src/pairs.c: Here.
---
 buddy/src/bddio.c   | 1 -
 buddy/src/bddop.c   | 1 -
 buddy/src/imatrix.c | 1 -
 buddy/src/pairs.c   | 1 -
 4 files changed, 4 deletions(-)

diff --git a/buddy/src/bddio.c b/buddy/src/bddio.c
index c7f3ab983..eaa1fde6b 100644
--- a/buddy/src/bddio.c
+++ b/buddy/src/bddio.c
@@ -37,7 +37,6 @@
 #include <string.h>
 #include <stdlib.h>
 #include <fcntl.h>
-#include <assert.h>
 #include <sys/stat.h>
 #include "kernel.h"
 
diff --git a/buddy/src/bddop.c b/buddy/src/bddop.c
index c01513e81..1a90e53bd 100644
--- a/buddy/src/bddop.c
+++ b/buddy/src/bddop.c
@@ -38,7 +38,6 @@
 #include <string.h>
 #include <math.h>
 #include <time.h>
-#include <assert.h>
 
 #include "kernel.h"
 #include "cache.h"
diff --git a/buddy/src/imatrix.c b/buddy/src/imatrix.c
index 9e482941f..c7073b89e 100644
--- a/buddy/src/imatrix.c
+++ b/buddy/src/imatrix.c
@@ -34,7 +34,6 @@
   DATE:  (C) february 2000
 *************************************************************************/
 #include <stdlib.h>
-#include <assert.h>
 #include <string.h>
 #include "kernel.h"
 #include "imatrix.h"
diff --git a/buddy/src/pairs.c b/buddy/src/pairs.c
index 5c95f05a9..5677e6b62 100644
--- a/buddy/src/pairs.c
+++ b/buddy/src/pairs.c
@@ -36,7 +36,6 @@
 *************************************************************************/
 #include <stdlib.h>
 #include <limits.h>
-#include <assert.h>
 #include "kernel.h"
 
 /*======================================================================*/