diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-06 22:09:53 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-06 22:09:53 +0100 |
| commit | a63662059215a26db627c4b76147a3c9338f5b74 (patch) | |
| tree | c71b984b2327ebe743809e04b0a29aac0e15cc56 /script.it/dune | |
| parent | 6ae97ecca8b4f38213f0f45aa6eaef944cd6b497 (diff) | |
Point suppression
Diffstat (limited to 'script.it/dune')
| -rwxr-xr-x | script.it/dune | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script.it/dune b/script.it/dune index e7ca0dc..84b91f6 100755 --- a/script.it/dune +++ b/script.it/dune @@ -9,7 +9,7 @@ layer ) (modes js) - (modules script state) + (modules script state selection) (preprocess (pps ppx_hash js_of_ocaml-ppx)) (link_flags (:standard -no-check-prims)) ) |