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