Skip to content
Snippets Groups Projects
Commit 73de268c authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[tests] Silence warning in tests/print.ml!

parent e6e912dc
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/tests/print.ml
+ 1
− 1
View file @ 73de268c
......@@ -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
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment