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