From 9b5a677570793bbc5165d0cf5cae931666de7e58 Mon Sep 17 00:00:00 2001
From: Columbus240 <8899730+Columbus240@users.noreply.github.com>
Date: Sat, 16 Sep 2023 16:34:22 +0200
Subject: [PATCH] Dune: increase version. include subdirs

This could fix the CI build. Fingers crossed.
---
 dune-project             | 4 ++--
 theories/Topology/dune   | 2 ++
 theories/ZornsLemma/dune | 2 ++
 3 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/dune-project b/dune-project
index 6989d8c8..dc3e3667 100644
--- a/dune-project
+++ b/dune-project
@@ -1,3 +1,3 @@
-(lang dune 2.5)
-(using coq 0.2)
+(lang dune 3.9)
+(using coq 0.8)
 (name topology)
diff --git a/theories/Topology/dune b/theories/Topology/dune
index aaf42373..e75dcba5 100644
--- a/theories/Topology/dune
+++ b/theories/Topology/dune
@@ -5,3 +5,5 @@
  (flags (:standard
      -w -deprecated-hint-rewrite-without-locality
      -w -deprecated-instance-without-locality)))
+
+(include_subdirs qualified)
diff --git a/theories/ZornsLemma/dune b/theories/ZornsLemma/dune
index 70c35b79..16fb5591 100644
--- a/theories/ZornsLemma/dune
+++ b/theories/ZornsLemma/dune
@@ -5,3 +5,5 @@
  (flags (:standard
      -w -deprecated-hint-rewrite-without-locality
      -w -deprecated-instance-without-locality)))
+
+(include_subdirs qualified)