Fix compilation issue on 'MacOS'

bitwuzla · Jun 10, 2024 · af33fe1 · af33fe1
1 parent c0b2316
commit af33fe1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/vendor/dune b/vendor/dune
@@ -173,7 +173,7 @@
    type
    type_data
    type_manager)
-  (include_dirs include src src/lib ../symfpu ../cadical)
+  (include_dirs include src src/lib ../symfpu ../cadical/src)
   (flags :standard -std=c++17 -Isrc/lib/ -I../cadical/src -I.. -DNDEBUG)
   (extra_deps ../.bitwuzla_tree)))