From 20efb8ee8d58dd6073dcfc4d4c99f5af2bb2cffd Mon Sep 17 00:00:00 2001
From: Haroon Qureshi <haroonq@google.com>
Date: Wed, 4 Mar 2026 05:50:59 -0800
Subject: [PATCH] Add missing files.

PiperOrigin-RevId: 878445886
Change-Id: Ied34a5517c3aefc0985bef100431081a4cbfb640
---
 src/experimental/platform/CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/experimental/platform/CMakeLists.txt b/src/experimental/platform/CMakeLists.txt
index fa0561ad..733b9ad4 100644
--- a/src/experimental/platform/CMakeLists.txt
+++ b/src/experimental/platform/CMakeLists.txt
@@ -48,6 +48,8 @@ target_sources(${MUJOCO_PLATFORM_TARGET_NAME}
         sim_history.h
         sim_profiler.cc
         sim_profiler.h
+        spec_editor.cc
+        spec_editor.h
         step_control.cc
         step_control.h
         window.cc