add dune project name

inhabitedtype · Jun 10, 2019 · c56fb60 · c56fb60
1 parent 30f5f24
commit c56fb60
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/dune-project b/dune-project
@@ -1 +1,2 @@
 (lang dune 1.6)
+(name bigstringaf)