diff --git a/tests/libc/oracle/argz_c.res.oracle b/tests/libc/oracle/argz_c.res.oracle index 2076a8cf7a958b8e00ff87cee8503a262bd486f9..38154c70f762b0b3c003bb9665e58734bb9fe8c1 100644 --- a/tests/libc/oracle/argz_c.res.oracle +++ b/tests/libc/oracle/argz_c.res.oracle @@ -493,8 +493,6 @@ [eva] FRAMAC_SHARE/libc/argz.c:120: Call to builtin free [eva] FRAMAC_SHARE/libc/argz.c:120: Call to builtin free [eva] FRAMAC_SHARE/libc/argz.c:120: Call to builtin free -[eva] FRAMAC_SHARE/libc/argz.c:120: Call to builtin free -[eva] FRAMAC_SHARE/libc/argz.c:120: Call to builtin free [eva] Recording results for argz_replace [eva] Done for function argz_replace [eva] computing for function exit <- main.