--- a/src/lte/model/lte-rrc-header.cc	Fri Feb 01 17:31:38 2013 +0100
+++ b/src/lte/model/lte-rrc-header.cc	Mon Feb 04 18:47:25 2013 +0100
@@ -23,7 +23,6 @@
 
 #include <stdio.h>
 #include <sstream>
-#include <math.h> // For log()
 
 #define MAX_DRB 11 // According to section 6.4 3GPP TS 36.331
 #define MAX_EARFCN 65535