include_ is now include with dune 2.9

dune

@@ -5,7 +5,7 @@
 (install
  (section
   (site
-   (lustrec include_)))
+   (lustrec include)))
  (files
   include/conv.c
   include/conv.lusi

dune-project

@@ -20,7 +20,7 @@
  (sites
   (lib plugins)
   (lib verifiers)
-  (lib include_)
+  (lib include)
   (share testgen))
  (synopsis "A Lustre compiler toolset")
  (description

lustrec.opam

@@ -13,7 +13,7 @@ license: "LGPL"
 homepage: "https://cavale.enseeiht.fr/redmine/projects/lustrec/"
 bug-reports: "https://cavale.enseeiht.fr/redmine/projects/lustrec/issues"
 depends: [
-  "dune" {>= "2.8"}
+  "dune" {>= "2.9"}
   "conf-gmp"
   "ocamlgraph"
   "menhir"