From c8fcb09e9a3e27de22d4803606d5784f667a542a Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Thu, 28 Dec 2023 16:24:33 +0200
Subject: [PATCH] Add goblint.constraint and goblint.solver dependencies

---
 src/dune               | 2 ++
 src/state/gvGoblint.ml | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/dune b/src/dune
index c2f54d6..96dd7b9 100644
--- a/src/dune
+++ b/src/dune
@@ -12,6 +12,8 @@
   goblint.config
   goblint.common
   goblint.domain
+  goblint.constraint
+  goblint.solver
   goblint.lib
   goblint.timing
   goblint.sites.js
diff --git a/src/state/gvGoblint.ml b/src/state/gvGoblint.ml
index 7ad1998..97d8498 100644
--- a/src/state/gvGoblint.ml
+++ b/src/state/gvGoblint.ml
@@ -152,7 +152,7 @@ module Make
       let should_prune = false
     end in
     let module S2' =
-      Constraints.GlobSolverFromEqSolver (Generic.LoadRunIncrSolver (Arg)) (EQSys) (LHT) (GHT)
+      ConstrSys.GlobSolverFromEqSolver (Goblint_solver.Generic.LoadRunIncrSolver (Arg)) (EQSys) (LHT) (GHT)
     in
     let r2, _ = S2'.solve [] [] [] None in
     new solver_state_impl r2