cleanout build

Author: Daniel Kroening

src/ebmc/Makefile

@@ -21,7 +21,6 @@ SRC = \
 
 OBJ+= $(CBMC)/src/util/util$(LIBEXT) \
       $(CBMC)/src/langapi/langapi$(LIBEXT) \
-      $(CBMC)/src/util/c_types$(OBJEXT) \
       $(CBMC)/src/goto-programs/system_library_symbols$(OBJEXT) \
       $(CBMC)/src/solvers/solvers$(LIBEXT) \
       $(CBMC)/src/big-int/big-int$(LIBEXT) \