jdiff: remove C library

tautschnig · tautschnig · commit c471f72b00de · 2018-06-08T11:44:09.000Z
jdiff only supports the java_bytecode language.
diff --git a/jbmc/src/jdiff/jdiff_parse_options.cpp b/jbmc/src/jdiff/jdiff_parse_options.cpp
@@ -338,9 +338,6 @@ bool jdiff_parse_optionst::process_goto_program(
 {
   try
   {
-    // add the library
-    link_to_library(goto_model, get_message_handler());
-
     // remove function pointers
     status() << "Removal of function pointers and virtual functions" << eom;
     remove_function_pointers(

Original file line number	Diff line number	Diff line change
`@@ -338,9 +338,6 @@ bool jdiff_parse_optionst::process_goto_program(`
`338`	`338`	`{`
`339`	`339`	`try`
`340`	`340`	`{`
`341`		`- // add the library`
`342`		`- link_to_library(goto_model, get_message_handler());`
`343`		`-`
`344`	`341`	`// remove function pointers`
`345`	`342`	`status() << "Removal of function pointers and virtual functions" << eom;`
`346`	`343`	`remove_function_pointers(`