diffblue
diff --git a/‎src/util/Makefile
-2 b/‎src/util/Makefile
-2
diff --git a/‎src/util/find_macros.cpp
-52 b/‎src/util/find_macros.cpp
-52
diff --git a/‎src/util/find_macros.h
-27 b/‎src/util/find_macros.h
-27
diff --git a/‎src/util/get_module.cpp
-130 b/‎src/util/get_module.cpp
-130
diff --git a/‎src/util/get_module.h
-26 b/‎src/util/get_module.h
-26
diff --git a/‎src/util/irep_ids.def
-1 b/‎src/util/irep_ids.def
-1
@@ -13,7 +13,6 @@ SRC = arith_tools.cpp \
       expr.cpp \
       expr_util.cpp \
       file_util.cpp \
-      find_macros.cpp \
       find_symbols.cpp \
       fixedbv.cpp \
       format_constant.cpp \
@@ -22,7 +21,6 @@ SRC = arith_tools.cpp \
       format_type.cpp \
       fresh_symbol.cpp \
       get_base_name.cpp \
-      get_module.cpp \
       graph.cpp \
       guard.cpp \
       identifier.cpp \
 
@@ -145,7 +145,6 @@ IREP_ID_ONE(merged_type)
 IREP_ID_ONE(range)
 IREP_ID_ONE(from)
 IREP_ID_ONE(to)
-IREP_ID_ONE(module)
 IREP_ID_ONE(parameter)
 IREP_ID_ONE(component_name)
 IREP_ID_ONE(component_number)