From 69ec0755d540e0b44c40475d96b57ac27aaa19d0 Mon Sep 17 00:00:00 2001
From: Stephen Dolan <stephen.dolan@cl.cam.ac.uk>
Date: Fri, 23 Sep 2022 13:12:09 +0100
Subject: [PATCH] update dune-project & opam files

---
 dune-project     | 1 +
 malfunction.opam | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/dune-project b/dune-project
index f75713f..209daf7 100644
--- a/dune-project
+++ b/dune-project
@@ -1 +1,2 @@
 (lang dune 1.2)
+(name malfunction)
diff --git a/malfunction.opam b/malfunction.opam
index 932da63..ba98852 100644
--- a/malfunction.opam
+++ b/malfunction.opam
@@ -10,7 +10,7 @@ build: [
   [ "dune" "runtest" "-p" name "-j" jobs ] {with-test}
 ]
 depends: [
-  "ocaml" {>= "4.04"}
+  "ocaml" {>= "4.04" & < "5.0.0"}
   "ocamlfind"
   "dune"
   "cppo" {build}