From f0e7b5583db0e70a175a566b7e971f38e8c0dc2b Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Fri, 18 Apr 2014 14:41:29 +0200 Subject: [PATCH] update parser pickling version again, because we've changed a lot in the last few commits --- jedi/cache.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jedi/cache.py b/jedi/cache.py index 24959f19..931ddf88 100644 --- a/jedi/cache.py +++ b/jedi/cache.py @@ -230,7 +230,7 @@ def save_parser(path, name, parser, pickling=True): class ParserPickling(object): - version = 9 + version = 10 """ Version number (integer) for file system cache.