chore: delete interpreter copy constructor just to be safe

leanprover · Apr 30, 2024 · 6e731b4 · 6e731b4
1 parent 18a6991
commit 6e731b4
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/library/compiler/ir_interpreter.cpp b/src/library/compiler/ir_interpreter.cpp
@@ -948,6 +948,8 @@ class interpreter {
         m_prefer_native = opts.get_bool(*g_interpreter_prefer_native, LEAN_DEFAULT_INTERPRETER_PREFER_NATIVE);
     }
 
+    interpreter(interpreter const &) = delete;
+
     ~interpreter() {
         for_each(m_constant_cache, [](name const &, constant_cache_entry const & e) {
             if (!e.m_is_scalar) {