Fix compilation with dune 3.16.1

bitwuzla · Nov 4, 2024 · 8db729a · 8db729a
1 parent 7e027f4
commit 8db729a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/vendor/dune b/vendor/dune
@@ -51,11 +51,11 @@
     (language cxx)
     (names bitwuzla)
     (flags
-     -std=c++17
      -I../..
      -I../../lib
      -I../../../include
      :standard
+     -std=c++17
      -DNDEBUG)
     (extra_deps ../../config.h ../../../../.bitwuzla_tree))))
  (subdir
@@ -178,12 +178,12 @@
    type_manager)
   (include_dirs include src src/lib ../symfpu ../cadical/src)
   (flags
-   -std=c++17
    -Isrc/lib/
    -I../cadical/src
    -I..
    -Isrc
    :standard
+   -std=c++17
    -DNDEBUG)
   (extra_deps ../.bitwuzla_tree)))