diffblue
diff --git a/‎src/util/Makefile
-1 b/‎src/util/Makefile
-1
diff --git a/‎src/util/memory_limit.cpp
-48 b/‎src/util/memory_limit.cpp
-48
diff --git a/‎src/util/memory_limit.h
-18 b/‎src/util/memory_limit.h
-18
@@ -41,7 +41,6 @@ SRC = arith_tools.cpp \
       lispexpr.cpp \
       lispirep.cpp \
       memory_info.cpp \
-      memory_limit.cpp \
       merge_irep.cpp \
       message.cpp \
       mp_arith.cpp \