diff --git a/tools/reval.py b/tools/extra/reval.py
similarity index 100%
rename from tools/reval.py
rename to tools/extra/reval.py