Work around missing vdom_input_widgets

janestreet · Sep 11, 2020 · ae637f7 · ae637f7
1 parent 1d3146d
commit ae637f7
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/bonsai/examples/rpgdice/bin/dune b/bonsai/examples/rpgdice/bin/dune
@@ -1,4 +1,4 @@
-(executables (names main)
- (libraries async_kernel bonsai_web bonsai_web_rpgdice_example core_kernel
-  vdom_input_widgets)
- (preprocess (pps ppx_jane js_of_ocaml-ppx ppx_pattern_bind)))
+; (executables (names main)
+;  (libraries async_kernel bonsai_web bonsai_web_rpgdice_example core_kernel
+;   vdom_input_widgets)
+;  (preprocess (pps ppx_jane js_of_ocaml-ppx ppx_pattern_bind)))