From b04b6b41e1b4a062b7454c9a9b84ebef0335ba80 Mon Sep 17 00:00:00 2001
From: Phips Peter <pspeter333@gmail.com>
Date: Sun, 8 Mar 2015 10:39:42 -0700
Subject: [PATCH] The mocha options are optional

This was frustrating before if you wanted to use gulp mocha without
customization.
---
 gulp-mocha/gulp-mocha.d.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gulp-mocha/gulp-mocha.d.ts b/gulp-mocha/gulp-mocha.d.ts
index e6bc099c3..8d21b1323 100644
--- a/gulp-mocha/gulp-mocha.d.ts
+++ b/gulp-mocha/gulp-mocha.d.ts
@@ -7,6 +7,6 @@
 /// <reference path="../node/node.d.ts"/>
 
 declare module "gulp-mocha" {
-    function mocha(setupOptions: MochaSetupOptions): NodeJS.ReadWriteStream;
+    function mocha(setupOptions?: MochaSetupOptions): NodeJS.ReadWriteStream;
     export = mocha;
 }
\ No newline at end of file