diff --git a/include/.Sanitize b/include/.Sanitize
index b5f73654804..6351d4b998f 100644
--- a/include/.Sanitize
+++ b/include/.Sanitize
@@ -55,6 +55,7 @@ opcode
 progress.h
 regs
 remote-sim.h
+splay-tree.h
 symcat.h
 wait.h