From 5a7abfe8a09451035f265e6cf978d1fd3f862ed9 Mon Sep 17 00:00:00 2001
From: Haroon Qureshi <haroonq@google.com>
Date: Wed, 14 Jan 2026 06:37:58 -0800
Subject: [PATCH] Set cleared memory back to nullptr.

PiperOrigin-RevId: 856188793
Change-Id: Iab33171b07f0d2a48d19986e145b832d1037d596
---
 src/experimental/studio/main.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/experimental/studio/main.cc b/src/experimental/studio/main.cc
index 86e4b766..0086bc90 100644
--- a/src/experimental/studio/main.cc
+++ b/src/experimental/studio/main.cc
@@ -90,6 +90,7 @@ int main(int argc, char** argv, char** envp) {
   };
   resource_provider.close = [](mjResource* resource) {
     delete static_cast<FileResource*>(resource->data);
+    resource->data = nullptr;
   };
 
   resource_provider.prefix = "font";