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 352fbcf13add8f4c3400ae9107bdb4a672c3f2d0..c8a3d014b0ce167c90734a375c4df88cda103d18 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".