From ff801f0fe3f651225e1744768089ba4efbf36fc0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Erik=20Dal=C3=A9n?= <dalen@github.com>
Date: Fri, 3 Nov 2017 00:52:09 +0100
Subject: [PATCH] Make ErrorNotification extend Notification

It was extending the non existent NotificationOptions, causing only the `stack` attribute to be available.
---
 types/atom/index.d.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/types/atom/index.d.ts b/types/atom/index.d.ts
index 07614a5815..336adceb4d 100644
--- a/types/atom/index.d.ts
+++ b/types/atom/index.d.ts
@@ -206,7 +206,7 @@ declare global {
                 gutterName?: string;
             }
 
-            interface ErrorNotification extends NotificationOptions {
+            interface ErrorNotification extends Notification {
                 stack?: string;
             }