| Index: client/dom/generated/src/interface/HTMLProgressElement.dart
 | 
| diff --git a/client/dom/generated/src/interface/HTMLProgressElement.dart b/client/dom/generated/src/interface/HTMLProgressElement.dart
 | 
| index 5e7948e9ce6d2a18a81dfb4c94f5eb953fc1dfbd..d94e95940a22277fb8e0cee2e7933cb6ec1829f9 100644
 | 
| --- a/client/dom/generated/src/interface/HTMLProgressElement.dart
 | 
| +++ b/client/dom/generated/src/interface/HTMLProgressElement.dart
 | 
| @@ -6,17 +6,13 @@
 | 
|  
 | 
|  interface HTMLProgressElement extends HTMLElement {
 | 
|  
 | 
| -  HTMLFormElement get form();
 | 
| +  final HTMLFormElement form;
 | 
|  
 | 
| -  NodeList get labels();
 | 
| +  final NodeList labels;
 | 
|  
 | 
| -  num get max();
 | 
| +  num max;
 | 
|  
 | 
| -  void set max(num value);
 | 
| +  final num position;
 | 
|  
 | 
| -  num get position();
 | 
| -
 | 
| -  num get value();
 | 
| -
 | 
| -  void set value(num value);
 | 
| +  num value;
 | 
|  }
 | 
| 
 |