chore(build): remove unnecessary dune options

PerfectLaugh · PerfectLaugh · commit b911020831b0 · 2025-09-21T13:37:11.000+08:00
diff --git a/dune-project b/dune-project
@@ -9,11 +9,6 @@
 (maintainers "Ivan Gotovchits <ivg@ieee.org>")
 (source (github BinaryAnalysisPlatform/bap))
 
-
-(explicit_js_mode)
-
-(use_standard_c_and_cxx_flags false)
-
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                          Package Descriptions                  ;;
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
