--- a/src/lte/model/lte-common.cc	Tue May 15 22:30:45 2012 -0700
+++ b/src/lte/model/lte-common.cc	Tue May 15 22:32:23 2012 -0700
@@ -141,7 +141,7 @@
 uint32_t
 BufferSizeLevelBsr::BsrId2BufferSize (uint8_t val)
 {
-  NS_ABORT_MSG_UNLESS (val >= 0 && val < 64, "val = " << val << " is out of range");
+  NS_ABORT_MSG_UNLESS (val < 64, "val = " << val << " is out of range");
   return BufferSizeLevelBsrTable[val];
 }
 

--- a/src/lte/model/lte-mi-error-model.cc	Tue May 15 22:30:45 2012 -0700
+++ b/src/lte/model/lte-mi-error-model.cc	Tue May 15 22:32:23 2012 -0700
@@ -293,7 +293,7 @@
   NS_LOG_FUNCTION (mib << (uint32_t) mcs << (uint32_t) cbSize);
   double b = 0;
   double c = 0;
-  NS_ASSERT_MSG (mcs>=0 && mcs < 32, "MCS out of range");
+  NS_ASSERT_MSG (mcs < 32, "MCS out of range");
   int tbsIndex = TbsIndex[mcs];
   int cbIndex = 1;
   while ((cbIndex < 9)&&(cbMiSizeTable[cbIndex]< cbSize))