From e4b29c6f9857a6f9429591727517946f89949847 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Mon, 30 Dec 2019 21:18:32 +0100
Subject: [PATCH] Verification; minor tweak of testcase

---
 test/testsuites/danmar-verify/uninit.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/testsuites/danmar-verify/uninit.c b/test/testsuites/danmar-verify/uninit.c
index 5b1f9dcc6..ba9de4165 100644
--- 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];