From 37af06e19c2a188a1249a6b0ab1ff7e035b58d38 Mon Sep 17 00:00:00 2001
From: Christophe Troestler <Christophe.Troestler@umons.ac.be>
Date: Wed, 5 Sep 2018 20:31:26 +0200
Subject: [PATCH] Add a "name" to dune-project

---
 dune-project | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dune-project b/dune-project
index 7655de0..32fe62d 100644
--- a/dune-project
+++ b/dune-project
@@ -1 +1,3 @@
 (lang dune 1.1)
+
+(name cairo2)