remove a spurious include of langapi/language_ui.h

Daniel Kroening · Daniel Kroening · commit c39df186a450 · 2018-09-19T17:27:48.000+01:00
diff --git a/src/goto-programs/initialize_goto_model.cpp b/src/goto-programs/initialize_goto_model.cpp
@@ -18,7 +18,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <util/unicode.h>
 
 #include <langapi/mode.h>
-#include <langapi/language_ui.h>
 #include <langapi/language.h>
 
 #include <goto-programs/rebuild_goto_start_function.h>
