Merge pull request #4727 from tautschnig/cleanup-Makefile

Remove duplicate json Makefile entry

Author: tautschnig

src/cbmc/Makefile

@@ -41,8 +41,7 @@ OBJ += ../ansi-c/ansi-c$(LIBEXT) \
       ../xmllang/xmllang$(LIBEXT) \
       ../assembler/assembler$(LIBEXT) \
       ../solvers/solvers$(LIBEXT) \
-      ../util/util$(LIBEXT) \
-      ../json/json$(LIBEXT)
+      ../util/util$(LIBEXT)
 
 INCLUDES= -I ..