From 80d9eab67e60ae8750165ce18ecd4eebcdc06b44 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Tue, 2 Mar 2021 15:22:03 -0800 Subject: Remove non-ASCII characters from source files. (#6039) Make collect_tags.py more robust for non-ASCII characters. --- src/theory/bv/theory_bv_rewrite_rules_core.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/theory') diff --git a/src/theory/bv/theory_bv_rewrite_rules_core.h b/src/theory/bv/theory_bv_rewrite_rules_core.h index d57d2a20a..b41af4a76 100644 --- a/src/theory/bv/theory_bv_rewrite_rules_core.h +++ b/src/theory/bv/theory_bv_rewrite_rules_core.h @@ -91,7 +91,7 @@ Node RewriteRule::apply(TNode node) { // If the next one can be merged, try to merge bool merged = false; if (next.getKind() == kind::BITVECTOR_EXTRACT && current[0] == next[0]) { - //x[i : j] @ x[j − 1 : k] -> c x[i : k] + // x[i : j] @ x[j - 1 : k] -> c x[i : k] unsigned nextHigh = utils::getExtractHigh(next); unsigned nextLow = utils::getExtractLow(next); if(nextHigh + 1 == currentLow) { -- cgit v1.2.3