MC: Fix compilation of exec.cpp (due to a renamed .tpp file).

1397d5f8 · Petr Rockai · 98cdcb96 · 1397d5f8
Commit 1397d5f8 authored 5 years ago by Petr Rockai
--- 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>