From 6f1b87de1bf5de584a1f83162ed1fba6f3df5bf8 Mon Sep 17 00:00:00 2001
From: Baruch Sterin <baruchs@gmail.com>
Date: Wed, 11 Dec 2013 16:00:38 -0800
Subject: [PATCH] reverting an accidental change to Makefile

---
 Makefile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Makefile b/Makefile
index 0decaa556..b8d3613e3 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,4 @@
 
-ABC_PYTHON=/usr/bin/python
-
 CC   := gcc
 CXX  := g++
 LD   := $(CXX)