diff --git a/divine/mc/exec.cpp b/divine/mc/exec.cpp
index 79f9e1c0274789d73544a532a710aa9184165b99..19acba9e714f8b46d5643ffb6c5800f73dc6d7f2 100644
--- a/divine/mc/exec.cpp
+++ b/divine/mc/exec.cpp
@@ -22,7 +22,7 @@
 #include <divine/vm/setup.hpp>
 
 #include <divine/vm/eval.tpp>
-#include <divine/vm/context.tpp>
+#include <divine/vm/ctx-debug.tpp>
 #include <divine/dbg/stepper.tpp>
 #include <divine/dbg/print.tpp>