blob: c28eb2e59bd8a2c4249d7f561628a37dd7a713cd (
plain)
1
2
3
4
5
6
7
8
|
diff --git a/dune-project b/dune-project
index 5826896..f1033e8 100644
--- a/dune-project
+++ b/dune-project
@@ -1,2 +1,2 @@
-(name ppx_bench)
(lang dune 1.10)
+(name ppx_bench)
|