warnings

cristianoc · cristianoc · commit ecc4c7ab7dd3 · 2021-04-07T03:07:10.000+02:00
diff --git a/src/ppx2/dune b/src/ppx2/dune
@@ -1,7 +1,7 @@
 (executable
   (name Ppx_Unmonads)
   (public_name ppx_unmonads.exe)
-  (flags :standard -w -9)
+  (flags :standard -w -9-3)
   (libraries compiler-libs ppx_tools_versioned)
   (preprocess (pps ppx_tools_versioned.metaquot_406))
   )

Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`(executable`
`2`	`2`	`(name Ppx_Unmonads)`
`3`	`3`	`(public_name ppx_unmonads.exe)`
`4`		`- (flags :standard -w -9)`
	`4`	`+ (flags :standard -w -9-3)`
`5`	`5`	`(libraries compiler-libs ppx_tools_versioned)`
`6`	`6`	`(preprocess (pps ppx_tools_versioned.metaquot_406))`
`7`	`7`	`)`