Disable warning 40.
This warning is about label resolution with regard to type. It basically means that the label resolution was done thanks to the type. This is a new behavior but a welcome change, so the warning is disabled.
This commit is contained in:
parent
f89d34ec14
commit
5cbd8c9794
2 changed files with 1 additions and 2 deletions
2
_tags
2
_tags
|
@ -1 +1 @@
|
|||
true: package(unix)
|
||||
true: package(unix), warn(-40)
|
||||
|
|
|
@ -1,4 +1,3 @@
|
|||
open Cartridge
|
||||
open Printf
|
||||
|
||||
(** Power up sequence
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue