From 395c5cd1017e1f58d36978cbbc6af338f5eb1736 Mon Sep 17 00:00:00 2001
From: David Halter <davidhalter88@gmail.com>
Date: Tue, 20 Nov 2012 18:33:27 +0100
Subject: [PATCH] python 2.5 compatibility

---
 jedi/api.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jedi/api.py b/jedi/api.py
index eea604d4..e892d59d 100644
--- a/jedi/api.py
+++ b/jedi/api.py
@@ -23,6 +23,7 @@ As you see Jedi is pretty simple and allows you to concentrate
 writing a good text editor, while still having very good IDE features
 for Python.
 """
+from __future__ import with_statement
 __all__ = ['Script', 'NotFoundError', 'set_debug_function']
 
 import re
@@ -351,7 +352,6 @@ class Script(object):
 
         with helpers.scale_speed_settings(settings.scale_get_in_function_call):
             origins = evaluate.follow_call(call)
-            print settings.max_executions, helpers.ExecutionRecursionDecorator.execution_count
 
         if len(origins) == 0:
             return None