Skip to content

Commit b414951

Browse files
tautschnigtautschnig
committed
Remove EBMC-specific find_macros and get_module
These are not of general use and cannot be tested in this repository.
1 parent dcd3b4c commit b414951

File tree

6 files changed

+0
-250
lines changed

6 files changed

+0
-250
lines changed

‎src/util/Makefile‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,6 @@ SRC = allocate_objects.cpp \
1717
expr_util.cpp \
1818
exception_utils.cpp \
1919
file_util.cpp \
20-
find_macros.cpp \
2120
find_symbols.cpp \
2221
fixedbv.cpp \
2322
format_constant.cpp \
@@ -26,7 +25,6 @@ SRC = allocate_objects.cpp \
2625
format_type.cpp \
2726
fresh_symbol.cpp \
2827
get_base_name.cpp \
29-
get_module.cpp \
3028
identifier.cpp \
3129
ieee_float.cpp \
3230
interval_union.cpp \

‎src/util/find_macros.cpp‎

Lines changed: 0 additions & 64 deletions
This file was deleted.

‎src/util/find_macros.h‎

Lines changed: 0 additions & 27 deletions
This file was deleted.

‎src/util/get_module.cpp‎

Lines changed: 0 additions & 130 deletions
This file was deleted.

‎src/util/get_module.h‎

Lines changed: 0 additions & 26 deletions
This file was deleted.

‎src/util/irep_ids.def‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -145,7 +145,6 @@ IREP_ID_ONE(merged_type)
145145
IREP_ID_ONE(range)
146146
IREP_ID_ONE(from)
147147
IREP_ID_ONE(to)
148-
IREP_ID_ONE(module)
149148
IREP_ID_ONE(parameter)
150149
IREP_ID_ONE(component_name)
151150
IREP_ID_ONE(component_number)

0 commit comments

Comments
 (0)