Update linux.patch

shakacode · Feb 23, 2024 · 325ec8f · 325ec8f
1 parent 693ec10
commit 325ec8f
Showing 1 changed file with 8 additions and 7 deletions.
diff --git a/linux.patch b/linux.patch
@@ -1,10 +1,11 @@
 diff --git a/ppx/bin/dune b/ppx/bin/dune
-index 0be22c0..d1faa33 100644
+index b346a3c..757e85d 100644
 --- a/ppx/bin/dune
 +++ b/ppx/bin/dune
-@@ -2,4 +2,5 @@
-   (name bin)
-   (public_name re-formality-ppx)
-   (libraries re-formality-ppx.lib)
-+  (flags (:standard -ccopt -static))
- )
+@@ -1,4 +1,5 @@
+ (executable
+  (name bin)
+  (public_name re-formality-ppx)
+- (libraries re-formality-ppx.lib))
++ (libraries re-formality-ppx.lib)
++ (flags (:standard -ccopt -static)))