diff --git a/src/V3AssertProp.cpp b/src/V3AssertProp.cpp
index e6981dfc8..0a60fa65d 100644
--- a/src/V3AssertProp.cpp
+++ b/src/V3AssertProp.cpp
@@ -254,7 +254,7 @@ public:
                     processVtx(&vtx);
                     AstSExpr* const propp = VN_AS(dVtxp->nodep(), SExpr);
                     propp->replaceWith(m_pexprp);
-                    propp->deleteTree();
+                    VL_DO_DANGLING(propp->deleteTree(), propp);
                 }
             }
         }