From 13dcbfaa5349426d86d7e4bc9a2419dd13261cd5 Mon Sep 17 00:00:00 2001 From: Andre Maroneze <andre.oliveiramaroneze@cea.fr> Date: Wed, 12 Jul 2017 09:40:59 +0200 Subject: [PATCH] sync with frama-c/frama-c!1344 --- src/plugins/e-acsl/tests/bts/oracle/bts1398.res.oracle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plugins/e-acsl/tests/bts/oracle/bts1398.res.oracle b/src/plugins/e-acsl/tests/bts/oracle/bts1398.res.oracle index 352fbcf13ad..c8a3d014b0c 100644 --- a/src/plugins/e-acsl/tests/bts/oracle/bts1398.res.oracle +++ b/src/plugins/e-acsl/tests/bts/oracle/bts1398.res.oracle @@ -1,3 +1,3 @@ [e-acsl] beginning translation. -FRAMAC_SHARE/libc/stdio.h:141:[kernel] warning: Neither code nor specification for function printf, generating default assigns from the prototype +FRAMAC_SHARE/libc/stdio.h:150:[kernel] warning: Neither code nor specification for function printf, generating default assigns from the prototype [e-acsl] translation done in project "e-acsl". -- GitLab