Skip to content

Commit 72dadf7

Browse files
committed
Use goblint.build-info.js library
1 parent d815513 commit 72dadf7

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
@@ -11,6 +11,7 @@
1111
goblint-cil.syntacticsearch
1212
goblint.lib
1313
goblint.sites.js
14+
goblint.build-info.js
1415
integers_stubs_js
1516
ctypes_stubs_js
1617
js_of_ocaml-lwt

0 commit comments

Comments
 (0)