From cc059f6b51fc1b2b4089680ca7250087343595e0 Mon Sep 17 00:00:00 2001 From: Vern Paxson Date: Thu, 13 Jul 2023 11:38:27 -0700 Subject: [PATCH] fix for recent smart pointer change --- src/script_opt/Stmt.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/script_opt/Stmt.cc b/src/script_opt/Stmt.cc index 9caf1cde83..7da1343361 100644 --- a/src/script_opt/Stmt.cc +++ b/src/script_opt/Stmt.cc @@ -951,7 +951,7 @@ void WhenInfo::UpdateIDs(Reducer* c) StmtPtr WhenStmt::Duplicate() { - return SetSucc(new WhenStmt(wi)); + return SetSucc(new WhenStmt(std::make_shared(wi.get()))); } bool WhenStmt::IsReduced(Reducer* c) const