From 8d4c00666f8fed2a8ceda5a27d9ab2316ab682a1 Mon Sep 17 00:00:00 2001
From: Petr Rockai <me@mornfall.net>
Date: Sat, 22 Jun 2019 18:15:00 +0000
Subject: [PATCH] MC: Fix compilation of exec.cpp.
---
divine/mc/exec.cpp | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/divine/mc/exec.cpp b/divine/mc/exec.cpp
index be92d60d4..79f9e1c02 100644
--- a/divine/mc/exec.cpp
+++ b/divine/mc/exec.cpp
@@ -33,7 +33,8 @@ namespace divine::mc
{
using Eval = vm::Eval< ExecContext >;
auto &program = _bc->program();
- ExecContext _ctx( program );
+ ExecContext _ctx;
+ _ctx.program( program );
Eval eval( _ctx );
vm::setup::boot( _ctx );
--
GitLab