From 699a7e26a661b5997a5b5c5754ff424d6d341301 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Wed, 2 Jan 2019 13:00:14 +0100
Subject: [PATCH] add name to dune-project

---
 dune-project | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dune-project b/dune-project
index 7655de07..3772cb84 100644
--- a/dune-project
+++ b/dune-project
@@ -1 +1,2 @@
 (lang dune 1.1)
+(name lambda-term)