Remove base_type.cpp from the Makefile

Lukasz A.J. Wrona · Lukasz A.J. Wrona · commit fb405ddc608b · 2019-10-22T13:24:57.000+01:00
Because it no longer exists
diff --git a/src/util/Makefile b/src/util/Makefile
@@ -2,7 +2,6 @@ SRC = allocate_objects.cpp \
       arith_tools.cpp \
       array_element_from_pointer.cpp \
       array_name.cpp \
-      base_type.cpp \
       bv_arithmetic.cpp \
       byte_operators.cpp \
       c_types.cpp \
