| Index: client/dom/generated/src/frog/Notation.dart
|
| diff --git a/client/dom/generated/src/frog/Notation.dart b/client/dom/generated/src/frog/Notation.dart
|
| index 8c584c06b6d479174242283d56ac9088f535d1da..532d57915e32617cd33d56c996baccd5a2cbe5d3 100644
|
| --- a/client/dom/generated/src/frog/Notation.dart
|
| +++ b/client/dom/generated/src/frog/Notation.dart
|
| @@ -1,5 +1,5 @@
|
|
|
| -class Notation extends Node native "*Notation" {
|
| +class NotationJS extends NodeJS implements Notation native "*Notation" {
|
|
|
| String get publicId() native "return this.publicId;";
|
|
|
|
|