Skip to content

Commit 41be36b

Browse files
committed
Add goblint.common dependency
1 parent b373d06 commit 41be36b

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/dune

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
gen_js_api
1010
goblint-cil
1111
goblint-cil.syntacticsearch
12+
goblint.common
1213
goblint.lib
1314
goblint.timing
1415
goblint.sites.js

0 commit comments

Comments
 (0)