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"
 
 /*======================================================================*/