py/gadict_freq.py
changeset 757 5417f2102dc5
parent 723 53095b480a73
child 804 7aa283584ee6
--- a/py/gadict_freq.py	Tue Feb 21 10:03:54 2017 +0200
+++ b/py/gadict_freq.py	Tue Feb 21 10:10:03 2017 +0200
@@ -2,7 +2,7 @@
 import sys
 import codecs
 import io
-import regex
+import re
 
 class WordlistParser:
 
@@ -21,7 +21,7 @@
 
 class WordformParser:
 
-    BASEVAR_RE = regex.compile(u"^(\t)?(.*)$")
+    BASEVAR_RE = re.compile(u"^(\t)?(.*)$", re.UNICODE)
 
     def __init__(self, stream, limit = None):
         self.stream = stream
@@ -50,7 +50,7 @@
 
 class FreqlistParser:
 
-    FREQ_RE = regex.compile(u"^([0-9]+) (.*)$")
+    FREQ_RE = re.compile(u"^([0-9]+) (.*)$", re.UNICODE)
 
     def __init__(self, stream, limit = None):
         self.stream = stream
@@ -80,7 +80,7 @@
         raise Exception(USAGE)
     FINAME = sys.argv[1]
 
-    COMMAND_RE = regex.compile("([-+])([0-9]+)?([bf]):([^:]+)")
+    COMMAND_RE = re.compile("([-+])([0-9]+)?([bf]):([^:]+)")
 
     IN_SET = set()
     EX_SET = set()