| Index: client/dom/generated/src/interface/WebKitAnimationEvent.dart
|
| diff --git a/client/dom/generated/src/interface/WebKitAnimationEvent.dart b/client/dom/generated/src/interface/WebKitAnimationEvent.dart
|
| index ecfb7da3ad2791284acdacd5177c485d6343e64a..6ba90fb4f16fd8035ac3bef37e464f91761ea695 100644
|
| --- a/client/dom/generated/src/interface/WebKitAnimationEvent.dart
|
| +++ b/client/dom/generated/src/interface/WebKitAnimationEvent.dart
|
| @@ -6,7 +6,7 @@
|
|
|
| interface WebKitAnimationEvent extends Event {
|
|
|
| - String get animationName();
|
| + final String animationName;
|
|
|
| - num get elapsedTime();
|
| + final num elapsedTime;
|
| }
|
|
|