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 "