From 0a82e5d999260aaf0acbfc2864ccf098cccbfe96 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Thu, 15 May 2014 17:15:52 +0200
Subject: [PATCH] remove unused Extension in setup

---
 setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index 0f745da..55af519 100644
--- a/setup.py
+++ b/setup.py
@@ -6,7 +6,7 @@
 # Copyright (C) 2006 The Trustees of Princeton University
 #
 
-from distutils.core import setup, Extension
+from distutils.core import setup
 
 setup(
     py_modules=[
-- 
2.43.0