From 9179bf0a7227f49cc89b84263b6fb3229ee632b3 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 4 Feb 2020 19:49:51 +0000
Subject: Add main.ml file

---
 extraction/dune | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 extraction/dune

(limited to 'extraction/dune')

diff --git a/extraction/dune b/extraction/dune
new file mode 100644
index 0000000..ec44a53
--- /dev/null
+++ b/extraction/dune
@@ -0,0 +1,3 @@
+(executable
+ (name main)
+ (flags (:standard -warn-error -A)))
-- 
cgit