Merge egcs-19981109

1998-11-23 06:33:33 +00:00 · 1998-11-23 06:33:33 +00:00 · 3c5f200bd1
parent 67f7d50d5e
commit 3c5f200bd1
1 changed files with 1 additions and 0 deletions
--- a/include/.Sanitize
+++ b/include/.Sanitize
@ -55,6 +55,7 @@ opcode
 progress.h
 regs
 remote-sim.h
+splay-tree.h
 symcat.h
 wait.h