From feb3467d3dddf5f3d17ffd6b37376328c18843b8 Mon Sep 17 00:00:00 2001
From: jjgarcia <jjgarcia>
Date: Tue, 20 Jan 2004 08:54:01 +0000
Subject: [PATCH] Remove unused header

---
 src/c/num_log.d | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/c/num_log.d b/src/c/num_log.d
index 2d0491a6b..e1ce55c43 100644
--- a/src/c/num_log.d
+++ b/src/c/num_log.d
@@ -17,7 +17,6 @@
 #include "ecl.h"
 #include <stdlib.h>
 #include "internal.h"
-#include "mp.h"
 
 /*
  * BIT OPERATIONS FOR FIXNUMS