From e1d3b0bd383cf180f1c972e479dc7235d082e771 Mon Sep 17 00:00:00 2001
From: Manas <3097018+ManasJayanth@users.noreply.github.com>
Date: Wed, 16 Dec 2020 10:20:48 +0530
Subject: [PATCH] Use Dune Lang 2.0 for foreign stubs

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

diff --git a/dune-project b/dune-project
index 704b162..a33e3a6 100644
--- a/dune-project
+++ b/dune-project
@@ -1,2 +1,2 @@
-(lang dune 1.7)
+(lang dune 2.0)
 (name <PACKAGE_NAME_FULL>)