From 3a623aaf336201716f1d4852fcde132ccf5adf76 Mon Sep 17 00:00:00 2001 From: Matija Kecman Date: Tue, 30 Jun 2026 12:37:32 -0700 Subject: [PATCH] Internal change. PiperOrigin-RevId: 940601733 Change-Id: I83855569f85012173c3edf167eca78d236f6cdea --- python/mujoco/experimental/dear_imgui/dear_imgui.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/mujoco/experimental/dear_imgui/dear_imgui.cc b/python/mujoco/experimental/dear_imgui/dear_imgui.cc index c8be894e..8818bc3c 100644 --- a/python/mujoco/experimental/dear_imgui/dear_imgui.cc +++ b/python/mujoco/experimental/dear_imgui/dear_imgui.cc @@ -18,7 +18,7 @@ #define NAMESPACE ImGui #include "dear_imgui_macros.h" #include -#include "third_party/dear_imgui/imgui_internal.h" +#include #include #include #include