| Index: client/dom/generated/src/frog/WebSocket.dart
 | 
| diff --git a/client/dom/generated/src/frog/WebSocket.dart b/client/dom/generated/src/frog/WebSocket.dart
 | 
| index 0f284e1b6f8e741676d006dc9ac62fbb2d0a138f..b5958c49b849da7a61a030abb0b15e2f92f630d0 100644
 | 
| --- a/client/dom/generated/src/frog/WebSocket.dart
 | 
| +++ b/client/dom/generated/src/frog/WebSocket.dart
 | 
| @@ -1,7 +1,5 @@
 | 
|  
 | 
|  class _WebSocketJs extends _DOMTypeJs implements WebSocket native "*WebSocket" {
 | 
| -  WebSocket(String url) native;
 | 
| -
 | 
|  
 | 
|    static final int CLOSED = 3;
 | 
|  
 | 
| 
 |