From a261325f5de4d3ad760e5fbb83b4c111f46a8c48 Mon Sep 17 00:00:00 2001 From: Kazuma Mikami Date: Mon, 17 Feb 2020 00:21:33 +0900 Subject: [PATCH] #186 Support \dots in input formats --- atcodertools/fmtprediction/tokenize_format.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/atcodertools/fmtprediction/tokenize_format.py b/atcodertools/fmtprediction/tokenize_format.py index beb56f6c..1d7e9ce8 100644 --- a/atcodertools/fmtprediction/tokenize_format.py +++ b/atcodertools/fmtprediction/tokenize_format.py @@ -11,7 +11,7 @@ def _is_ascii(s): return all(ord(c) < 128 for c in s) -DOTS_PATTERNS = ["ldots", "cdots", "vdots", "ddots"] +DOTS_PATTERNS = ["ldots", "cdots", "vdots", "ddots", "dots"] def _is_noise(s):