From 3567b74be9c4c2d7e491f74da9951d711fc278d6 Mon Sep 17 00:00:00 2001
From: Kyle Matoba <22180455+kylematoba@users.noreply.github.com>
Date: Fri, 14 Jun 2019 13:51:15 +0100
Subject: [PATCH] Fix setup instructions

---
 README.md                                              | 2 +-
 tf_verify/gurobi_setup_path.sh => gurobi_setup_path.sh | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename tf_verify/gurobi_setup_path.sh => gurobi_setup_path.sh (100%)

diff --git a/README.md b/README.md
index d97915f3..7879a60d 100755
--- a/README.md
+++ b/README.md
@@ -126,7 +126,7 @@ Usage
 -------------
 
 ```
-cd tf-verify
+cd tf_verify
 
 python3 . --netname <path to the network file> --epsilon <float between 0 and 1> --domain <deepzono/deeppoly/refinezono> --dataset <mnist/cifar10/acasxu> [optional] --complete <True/False> --timeout_lp <float> --timeout_milp <float> --use_area_heuristic <True/False>
 ```
diff --git a/tf_verify/gurobi_setup_path.sh b/gurobi_setup_path.sh
similarity index 100%
rename from tf_verify/gurobi_setup_path.sh
rename to gurobi_setup_path.sh