@@ -2,7 +2,7 @@
22#import <Cocoa/Cocoa.h>
33#import <WebKit/WebKit.h>
44
5−extern void withWebView(WKWebView *, HsStablePtr);
5+extern void callWithWebView(WKWebView *, HsStablePtr);
66
77@interface AppDelegate : NSObject <NSApplicationDelegate>
88@property (nonatomic, assign) IBOutlet NSWindow *window;
@@ -36,7 +36,7 @@ extern void withWebView(WKWebView *, HsStablePtr);
3636 [theConfiguration.preferences setValue:@YES forKey:@"developerExtrasEnabled"];
3737 WKWebView *webView = [[WKWebView alloc] initWithFrame: [_window.contentView frame] configuration:theConfiguration];
3838 [_window setContentView:webView];
39− withWebView(webView, _handler);
39+ callWithWebView(webView, _handler);
4040}
4141
4242-(void)applicationDidFinishLaunching:(NSNotification *)notification {