diff --git a/src/dune b/src/dune index 71ee7a3..25675ba 100644 --- a/src/dune +++ b/src/dune @@ -16,8 +16,6 @@ goblint.solver goblint.lib goblint.timing - goblint.sites.js - goblint.build-info.js integers_stubs_js ctypes_stubs_js js_of_ocaml-lwt