From 73de268cd7e9fcca4ad92e3654fc68b513ad00ba Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 29 Jul 2016 18:07:39 +0200
Subject: [PATCH] [tests] Silence warning in tests/print.ml!
---
src/plugins/e-acsl/tests/print.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/tests/print.ml b/src/plugins/e-acsl/tests/print.ml
index 04a0d201831..1d084da5be9 100644
--- a/src/plugins/e-acsl/tests/print.ml
+++ b/src/plugins/e-acsl/tests/print.ml
@@ -3,7 +3,7 @@ module Printer_extension(X:Printer.PrinterClass) = struct
class printer = object
inherit Printer.extensible_printer () as super
- method global fmt g =
+ method! global fmt g =
let loc, _ = Cil_datatype.Global.loc g in
let file = loc.Lexing.pos_fname in
if file = "" || List.exists
--
GitLab