diff options
author | Martin <martin@leo.fri1.uni-lj.si> | 2015-10-02 16:14:24 +0200 |
---|---|---|
committer | Martin <martin@leo.fri1.uni-lj.si> | 2015-10-02 16:14:24 +0200 |
commit | 4e7b80974d7433f96fa1908293e5faee9d8de519 (patch) | |
tree | 9137c6a2fb801a7f0527530f0909976e39728ef6 /python/common.py | |
parent | df229fbab5f8cf2b310bc44e1501f03149fceb65 (diff) |
Removed unnecessary HintSequences.
Diffstat (limited to 'python/common.py')
-rw-r--r-- | python/common.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/common.py b/python/common.py index e4de997..26f3881 100644 --- a/python/common.py +++ b/python/common.py @@ -1,7 +1,7 @@ # coding=utf-8 import ast -from server.hints import Hint, HintSequence +from server.hints import Hint hint_type = { 'no_hint': Hint('no_hint'), |