From 17b2b054d66198f009b3e6adfee1e766f7598cc6 Mon Sep 17 00:00:00 2001
From: Lea Salome Brugger <leasalome.brugger@inf.ethz.ch>
Date: Mon, 8 Jan 2024 16:48:01 +0100
Subject: [PATCH] Fix test for smoke detection such that it works with Silicon

---
 src/test/resources/smoke/axiom.vpr | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/test/resources/smoke/axiom.vpr b/src/test/resources/smoke/axiom.vpr
index f64540a88..b991a947f 100644
--- a/src/test/resources/smoke/axiom.vpr
+++ b/src/test/resources/smoke/axiom.vpr
@@ -7,4 +7,5 @@ domain Foo {
 //:: ExpectedOutput(refute.failed:refutation.true)
 method test()
 {
+    var x: Foo
 }
\ No newline at end of file