Remove unnecessary language_ui.h includes

tautschnig · tautschnig · commit 521f63d63374 · 2019-01-30T07:34:50.000Z
This isn't used, we use cbmc_parse_optionst here.
diff --git a/unit/compound_block_locations.cpp b/unit/compound_block_locations.cpp
@@ -21,7 +21,6 @@ Author: Kareem Khazem <karkhaz@karkhaz.com>, 2018
 
 #include <goto-programs/goto_model.h>
 
-#include <langapi/language_ui.h>
 #include <langapi/mode.h>
 
 #include <util/cmdline.h>
diff --git a/unit/path_strategies.cpp b/unit/path_strategies.cpp
@@ -21,7 +21,6 @@ Author: Kareem Khazem <karkhaz@karkhaz.com>, 2018
 
 #include <goto-checker/solver_factory.h>
 
-#include <langapi/language_ui.h>
 #include <langapi/mode.h>
 
 #include <util/cmdline.h>
