From 7b894d2a360d935adfc8f0391bff3e30e01602e1 Mon Sep 17 00:00:00 2001
From: Erwin Coumans <erwin.coumans@gmail.com>
Date: Wed, 10 Nov 2021 19:51:36 -0800
Subject: [PATCH] duplicate cc file

---
 setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index dd33402..837a139 100644
--- a/setup.py
+++ b/setup.py
@@ -196,7 +196,7 @@ def _single_compile(obj):
 
 pymujoco_ext = Extension(
     "pymujoco",
-    sources=sources+["python/pymujoco.cc"],
+    sources=sources,
     libraries=libraries,
     extra_compile_args=CXX_FLAGS_TDS.split(),
     include_dirs=include_dirs + ["."])