Skip to content

Commit 4149931

Browse files
sim642sim642
committed
Add goblint_config dependency to goblint_solver
1 parent 27295d7 commit 4149931

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎src/solver/dune‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@
77
batteries.unthreaded
88
goblint_std
99
goblint_common
10+
goblint_config
1011
goblint_domain
1112
goblint_constraint
1213
goblint_incremental

0 commit comments

Comments
 (0)