From e77d2e1bfe7880f10696271deca4dcde36ebb315 Mon Sep 17 00:00:00 2001
From: Thomas Nagy <tnagy@waf.io>
Date: Wed, 29 Mar 2017 18:18:16 +0200
Subject: [PATCH] waf-launcher - Issue 1935

---
 utils/launcher/waf-launcher/Main.cs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/utils/launcher/waf-launcher/Main.cs b/utils/launcher/waf-launcher/Main.cs
index 780254f7..640402be 100644
--- a/utils/launcher/waf-launcher/Main.cs
+++ b/utils/launcher/waf-launcher/Main.cs
@@ -1,4 +1,5 @@
 using System;
+using System.Collections.Generic;
 using System.Diagnostics;
 
 namespace waflauncher