From 2df457856f98b75edbebaba4ef41dff7687d4bbb Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Tue, 5 Feb 2019 19:35:24 +0000
Subject: [PATCH] Avoid deprecated symbol_exprt default construction in unit
 test

We don't care about either the type or the name in this test, so just use
symbol_exprt::typeless(irep_idt()).
---
 unit/util/expr_cast/expr_cast.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/unit/util/expr_cast/expr_cast.cpp b/unit/util/expr_cast/expr_cast.cpp
index d3124c4ddd6..e6ccf9b72b3 100644
--- a/unit/util/expr_cast/expr_cast.cpp
+++ b/unit/util/expr_cast/expr_cast.cpp
@@ -106,7 +106,7 @@ SCENARIO("expr_dynamic_cast",
   }
   GIVEN("An exprt value upcast from a symbolt")
   {
-    exprt expr = symbol_exprt{};
+    exprt expr = symbol_exprt::typeless(irep_idt());
 
     THEN(
       "Trying casting from an exprt lvalue to a symbol_exprt should yield a "