From 47421af4afeaf7cd4c160b2001e207f1fae775c2 Mon Sep 17 00:00:00 2001 From: Adelyn Breelove Date: Wed, 19 Dec 2018 14:06:23 -0700 Subject: More type abstraction stuff --- dune-project | 1 + 1 file changed, 1 insertion(+) (limited to 'dune-project') diff --git a/dune-project b/dune-project index 31a7429..67d26c0 100644 --- a/dune-project +++ b/dune-project @@ -1 +1,2 @@ (lang dune 1.3) +(name disml) -- cgit v1.2.3