From cbcaa965c4ee5597bb8f4f8bee7fba87729e7154 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko
Date: Mon, 23 Jan 2023 18:17:42 -0800
Subject: Initial Lean backend, WIP

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

(limited to 'compiler/dune')

diff --git a/compiler/dune b/compiler/dune
index ae9cef04..b74b65fa 100644
--- a/compiler/dune
+++ b/compiler/dune
@@ -81,7 +81,7 @@
    -g
    ;-dsource
    -warn-error
-   -5-8-9-11-14-33-20-21-26-27-39))
+   -5@8-9-11-14-33-20-21-26-27-39))
  (release
   (flags
    :standard
-- 
cgit v1.2.3