From b2159a8e3566c92c9aa22113bee3e687c790c077 Mon Sep 17 00:00:00 2001
From: Saran Tunyasuvunakool <stunya@google.com>
Date: Sun, 9 Oct 2022 06:01:55 -0700
Subject: [PATCH] Don't cast `memory` XML attribute to `int` prematurely.

PiperOrigin-RevId: 479910328
Change-Id: I40a210852eeced75871361eb6531169ad0f79b6a
---
 src/xml/xml_native_reader.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/xml/xml_native_reader.cc b/src/xml/xml_native_reader.cc
index 9287ea13..1bdad5b2 100644
--- a/src/xml/xml_native_reader.cc
+++ b/src/xml/xml_native_reader.cc
@@ -1070,7 +1070,7 @@ void mjXReader::Size(XMLElement* section, mjCModel* mod) {
       if (*memory / sizeof(mjtNum) > std::numeric_limits<int>::max()) {
         throw mjXError(section, err_msg);
       }
-      mod->memory = static_cast<int>(*memory);
+      mod->memory = *memory;
     }
   }