| OLD | NEW |
| 1 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE.md file. | 3 // BSD-style license that can be found in the LICENSE.md file. |
| 4 | 4 |
| 5 import 'dart:io' as io; | 5 import 'dart:io' as io; |
| 6 | 6 |
| 7 import 'package:fletchc/program_info.dart'; | 7 import 'package:dartino_compiler/program_info.dart'; |
| 8 | 8 |
| 9 main(List<String> arguments) async { | 9 main(List<String> arguments) async { |
| 10 Profile profile = await decodeTickSamples(arguments, io.stdin, io.stdout); | 10 Profile profile = await decodeTickSamples(arguments, io.stdin, io.stdout); |
| 11 if (profile != null) profile.Print(); | 11 if (profile != null) profile.Print(); |
| 12 } | 12 } |
| OLD | NEW |