diff --git a/divine/vm/program.hpp b/divine/vm/program.hpp
index d6b0d63f5ca8c600cd8bb576d2b08ee522b4d492..2564f34131697daef2b50122a738bbd0569815cd 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 db6fa6aada5047904c2c8ecabd5801fb1ec71690..2753385c10760f39b24d52bafde43148a23de49d 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
 {