From ee3f88a6c13f954aff8796c5536aa022b5c4bc20 Mon Sep 17 00:00:00 2001
From: Andrzej Kotulski <akotulski@fb.com>
Date: Fri, 12 Jun 2015 12:24:48 -0100
Subject: [PATCH] Remove unused SCRIPT_FOLDER variable

---
 infer/bin/infer | 1 -
 1 file changed, 1 deletion(-)

diff --git a/infer/bin/infer b/infer/bin/infer
index 143c8bb29..cb992f069 100755
--- a/infer/bin/infer
+++ b/infer/bin/infer
@@ -6,7 +6,6 @@ import inferlib
 import os
 import sys
 
-SCRIPT_FOLDER = os.path.dirname(os.path.realpath(__file__))
 CAPTURE_PACKAGE = 'capture'
 LIB_FOLDER = os.path.join(
     os.path.dirname(os.path.realpath(__file__)), os.path.pardir, 'lib')