From 6202cd641869022a13df71f9fc575442eef9227c Mon Sep 17 00:00:00 2001
From: Petr Rockai <me@mornfall.net>
Date: Wed, 12 Jun 2019 18:21:36 +0000
Subject: [PATCH] VM: Move an #include required only for unit tests to the unit
test file.
---
divine/vm/program.hpp | 1 -
divine/vm/t-program.hpp | 1 +
2 files changed, 1 insertion(+), 1 deletion(-)
diff --git a/divine/vm/program.hpp b/divine/vm/program.hpp
index d6b0d63f5..2564f3413 100644
--- a/divine/vm/program.hpp
+++ b/divine/vm/program.hpp
@@ -37,7 +37,6 @@ DIVINE_UNRELAX_WARNINGS
#include <divine/vm/pointer.hpp>
#include <divine/vm/context.hpp>
-#include <divine/cc/cc1.hpp>
#include <divine/vm/lx-type.hpp>
#include <divine/vm/lx-code.hpp>
diff --git a/divine/vm/t-program.hpp b/divine/vm/t-program.hpp
index db6fa6aad..2753385c1 100644
--- a/divine/vm/t-program.hpp
+++ b/divine/vm/t-program.hpp
@@ -20,6 +20,7 @@
#include <divine/vm/program.hpp>
#include <divine/vm/eval.tpp>
+#include <divine/cc/cc1.hpp>
namespace divine::t_vm
{
--
GitLab