From 5cbd8c979432f0e62a6554972c634c0fafde1280 Mon Sep 17 00:00:00 2001 From: Fabien Freling Date: Mon, 23 Feb 2015 18:12:53 +0100 Subject: [PATCH] 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. --- _tags | 2 +- src/oboy.ml | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/_tags b/_tags index 1f1927d..4cea097 100644 --- a/_tags +++ b/_tags @@ -1 +1 @@ -true: package(unix) +true: package(unix), warn(-40) diff --git a/src/oboy.ml b/src/oboy.ml index 70165a8..31a3e38 100644 --- a/src/oboy.ml +++ b/src/oboy.ml @@ -1,4 +1,3 @@ -open Cartridge open Printf (** Power up sequence