From 806582713a58b3f70961a46366e8a2b2be6e115e Mon Sep 17 00:00:00 2001
From: Shivaram Lingamneni <slingamn@cs.stanford.edu>
Date: Mon, 18 Feb 2019 02:48:41 -0500
Subject: [PATCH] upgrade docopt

PR #311 started using docopt.ParseArgs. This is not available in the pinned version
0.6.2. (Not totally sure how we got on a higher version than the pinned one?)
---
 Gopkg.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Gopkg.toml b/Gopkg.toml
index 380726f7..b4656ed4 100644
--- a/Gopkg.toml
+++ b/Gopkg.toml
@@ -31,7 +31,7 @@
 
 [[constraint]]
   name = "github.com/docopt/docopt-go"
-  version = "0.6.2"
+  branch = "master"
 
 [[constraint]]
   branch = "master"