diff --git a/src/util/script_state.cpp b/src/util/script_state.cpp
index ca01b978b..211c9ed63 100644
--- a/src/util/script_state.cpp
+++ b/src/util/script_state.cpp
@@ -25,16 +25,10 @@ extern "C" void * lua_realloc(void *, void * q, size_t, size_t new_size) { retur
 
 namespace lean {
 static std::vector<script_state::reg_fn> g_modules;
-static std::vector<char const *> g_code;
-
 void script_state::register_module(reg_fn f) {
     g_modules.push_back(f);
 }
 
-void script_state::register_code(char const * code) {
-    g_code.push_back(code);
-}
-
 static unsigned g_check_interrupt_freq = 1048576;
 
 void script_state::set_check_interrupt_freq(unsigned count) {
@@ -96,10 +90,6 @@ struct script_state::imp {
         for (auto f : g_modules) {
             f(m_state);
         }
-
-        for (auto c : g_code) {
-            dostring(c);
-        }
     }
 
     ~imp() {
diff --git a/src/util/script_state.h b/src/util/script_state.h
index cfa03fbe7..d4a931288 100644
--- a/src/util/script_state.h
+++ b/src/util/script_state.h
@@ -67,8 +67,6 @@ public:
     typedef void (*reg_fn)(lua_State *); // NOLINT
     static void register_module(reg_fn f);
 
-    static void register_code(char const * code);
-
     /**
        \brief Auxiliary function for writing API bindings
        that release the lock to this object while executing