| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index 19e63ff13253fc891fef0a6acc5c9ca11a07a8b5..310337432f1b6575e043add16a8b8ff361bbe147 100644
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -350,7 +350,7 @@ def Main(argv):
|
| if filename.endswith('.dart'):
|
| dest_file.write('#source("runtime/' + filename + '");\n')
|
| # include the missing print function
|
| - dest_file.write('void print(String arg) { /* native */ }\n')
|
| + dest_file.write('void print(Object arg) { /* native */ }\n')
|
| dest_file.close()
|
|
|
| #
|
|
|