diff --git a/src/langapi/language.h b/src/langapi/language.h
index aadb45206b..9138a70c2b 100644
--- a/src/langapi/language.h
+++ b/src/langapi/language.h
@@ -12,18 +12,17 @@ Author: Daniel Kroening, kroening@kroening.com
 #ifndef CPROVER_LANGAPI_LANGUAGE_H
 #define CPROVER_LANGAPI_LANGUAGE_H
 
-#include <unordered_set>
 #include <iosfwd>
-#include <string>
 #include <memory> // unique_ptr
+#include <set>
+#include <string>
+#include <unordered_set>
 
 #include <util/message.h>
 #include <util/std_types.h>
 #include <util/symbol.h>
 #include <util/symbol_table_base.h>
 
-#include <goto-programs/system_library_symbols.h>
-
 class symbol_tablet;
 class exprt;
 class namespacet;
@@ -188,7 +187,6 @@ public:
 
 protected:
   bool language_options_initialized=false;
-  system_library_symbolst system_symbols;
 };
 
 #endif // CPROVER_UTIL_LANGUAGE_H
diff --git a/src/langapi/module_dependencies.txt b/src/langapi/module_dependencies.txt
index 9fd7ac9f8d..f2fb151eac 100644
--- a/src/langapi/module_dependencies.txt
+++ b/src/langapi/module_dependencies.txt
@@ -1,3 +1,2 @@
-goto-programs
 langapi
 util