Verification; minor tweak of testcase

2019-12-30 21:18:32 +01:00 · 2019-12-30 21:18:32 +01:00 · e4b29c6f98
parent 3ff31b799c
commit e4b29c6f98
1 changed files with 1 additions and 1 deletions
--- a/test/testsuites/danmar-verify/uninit.c
+++ b/test/testsuites/danmar-verify/uninit.c
@ -1,5 +1,5 @@

-void foo() {
+int foo() {
    int a[10];
    a[0] = 0;
    return a[2];