From 2ebcbf744729d1e4b305454cfdfbe3abdafb066a Mon Sep 17 00:00:00 2001
From: Hristian Hristov <hristian@semmle.com>
Date: Wed, 24 Aug 2016 16:13:49 +0100
Subject: [PATCH 1/2] Add module 'process'

---
 node/node.d.ts | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/node/node.d.ts b/node/node.d.ts
index d86dac906c..280f17e045 100644
--- a/node/node.d.ts
+++ b/node/node.d.ts
@@ -2625,3 +2625,8 @@ declare module "constants" {
     export var X_OK: number;
     export var UV_UDP_REUSEADDR: number;
 }
+
+declare module "process" {
+    var p: NodeJS.Process;
+    export default p;
+}
\ No newline at end of file

From 026d5663468d0e7f7337f3164fa92a8ff118f27d Mon Sep 17 00:00:00 2001
From: Hristian Hristov <hristian@semmle.com>
Date: Fri, 26 Aug 2016 13:04:25 +0100
Subject: [PATCH 2/2] Node.d.ts: Change definition for module process to be
 consistent with other declarations

---
 node/node.d.ts | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/node/node.d.ts b/node/node.d.ts
index 280f17e045..731b136585 100644
--- a/node/node.d.ts
+++ b/node/node.d.ts
@@ -2627,6 +2627,5 @@ declare module "constants" {
 }
 
 declare module "process" {
-    var p: NodeJS.Process;
-    export default p;
+    export = process;
 }
\ No newline at end of file