Index: tools/ddbg.dart |
diff --git a/tools/ddbg.dart b/tools/ddbg.dart |
index 5239ffee1b21b7033ab2bb9698c37452741ec70a..eda2a19db477409a514cd676aa7614e79c90cdfa 100644 |
--- a/tools/ddbg.dart |
+++ b/tools/ddbg.dart |
@@ -7,6 +7,7 @@ |
#import("dart:io"); |
#import("dart:json"); |
+#import("dart:math", prefix: "Math"); |
#import("dart:utf"); |