From 995bd9e5fa2ebbb135ef4932c0ec96e1086f1354 Mon Sep 17 00:00:00 2001 From: Raphael Rieu-Helft <raphael.rieu-helft@lri.fr> Date: Fri, 22 Jun 2018 14:05:02 +0200 Subject: [PATCH] Fix error message --- src/tools/why3extract.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/why3extract.ml b/src/tools/why3extract.ml index fe91df7ac..cc4b529db 100644 --- a/src/tools/why3extract.ml +++ b/src/tools/why3extract.ml @@ -165,7 +165,7 @@ let print_mdecls ?fname m mdecls deps = if !opt_interface then begin match printer.Pdriver.interf_gen, printer.Pdriver.interf_printer with | None, _ | _, None -> - eprintf "Driver does not support interface extraction"; + eprintf "Driver does not support interface extraction.@."; exit 1 | Some ig, Some ipr -> let iout, old = get_cout_old ig m ?fname in -- GitLab