disable profiling so that macOS Mojave users can build (close #387) (#…

…398)
RedPRL · Oct 15, 2018 · 95bf4b7 · 95bf4b7
1 parent 348c654
commit 95bf4b7
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/bin/dune b/src/bin/dune
@@ -1,6 +1,5 @@
 (executables
  (names main)
- (ocamlopt_flags (:standard -p))
  (libraries cmdliner lwt.unix redtt))
 
 (install