[6.0] d2ef8217e lost commit from ee9e0f6e7259580f17bcba83158c2cc9b79c13f3

[Dridi Boukelmoune]

commit d2ef8217eaa1a6b884d73658e34d28006bf4cd55
Author: Nils Goroll <nils.goroll at uplex.de>
Date:   Tue Nov 6 11:54:50 2018 +0100

    lost commit from ee9e0f6e7259580f17bcba83158c2cc9b79c13f3

diff --git a/tools/include_wash.py b/tools/include_wash.py
index 4df6eeaf3..973d5d6ad 100644
--- a/tools/include_wash.py
+++ b/tools/include_wash.py
@@ -33,7 +33,7 @@ def check(fn):
         if i in l:
             for i in ("stddef.h", "stdint.h", "vrt.h",
                       "math.h", "pthread.h", "stdarg.h", "sys/types.h",
-                      "vdef.h", "miniobj.h", "vas.h", "vqueue.h"):
+                      "vdef.h", "miniobj.h", "vas.h", "vqueue.h", "vtree.h"):
                 if i in l:
                     print(fn, i + " included with cache.h")