From 1397d5f8bab6da0ac93eff40cdfbd23b2e16c3cc Mon Sep 17 00:00:00 2001
From: Petr Rockai <me@mornfall.net>
Date: Tue, 25 Jun 2019 17:53:34 +0000
Subject: [PATCH] MC: Fix compilation of exec.cpp (due to a renamed .tpp file).

---
 divine/mc/exec.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/divine/mc/exec.cpp b/divine/mc/exec.cpp
index 79f9e1c02..19acba9e7 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>
 
-- 
GitLab