1 files changed, 2 insertions, 0 deletions
diff --git a/bin/bootstrap.py b/bin/bootstrap.py
index f0cc30e0..6f7233a9 100755
--- a/bin/bootstrap.py
+++ b/bin/bootstrap.py
@@ -423,6 +423,8 @@ def bootstrap() -> None:
             dirs.remove('computed_roots')
         if 'tree_structure' in dirs:
             dirs.remove('tree_structure')
+        if 'tree_operations' in dirs:
+            dirs.remove('tree_operations')
         for f in files:
             if f.endswith(".cpp"):
                 cpp_files.append(os.path.join(root, f))