From 581a3e2e06f7f076b05688e2e7085db36de3e260 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Wed, 14 Feb 2024 10:28:10 +0200
Subject: [PATCH] Adapt to compute_cfg move

---
 src/state/gvGoblint.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/state/gvGoblint.ml b/src/state/gvGoblint.ml
index 97d8498..c572bd6 100644
--- a/src/state/gvGoblint.ml
+++ b/src/state/gvGoblint.ml
@@ -161,7 +161,7 @@ end
 let empty : solver_state = new empty_solver_state
 
 let unmarshal spec cil =
-  let (module Cfg) = Control.compute_cfg cil in
+  let (module Cfg) = CfgTools.compute_cfg cil in
   let (module Spec) = Control.get_spec () in
   Spec.init (Some (Marshal.from_string spec 0));
   let (module G : Sig) =