Fix download_kotlin_dev.py script Change-Id: I3ec3841f36d753b3b4df4dd0a3c9c3bfe40624f3
diff --git a/tools/download_kotlin_dev.py b/tools/download_kotlin_dev.py index b6ae8ee..6360cd2 100755 --- a/tools/download_kotlin_dev.py +++ b/tools/download_kotlin_dev.py
@@ -11,7 +11,7 @@ else: from HTMLParser import HTMLParser import urllib - url_request = urllib.request + url_request = urllib import os import sys