diff --git a/source/tools/rmgen/rangeop.h b/source/tools/rmgen/rangeop.h
deleted file mode 100644
index e69de29bb2..0000000000