1 files changed, 1 insertions, 3 deletions
diff --git a/Documentation/gen_commands.py b/Documentation/gen_commands.py
index a55b1acd82..7c62a030dc 100755
--- a/Documentation/gen_commands.py
+++ b/Documentation/gen_commands.py
@@ -1,6 +1,4 @@
-#!/usr/bin/env python
-
-from __future__ import print_function
+#!/usr/bin/env python3
 
 import errno
 import os