diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-03-02 15:22:03 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-02 23:22:03 +0000 |
commit | 80d9eab67e60ae8750165ce18ecd4eebcdc06b44 (patch) | |
tree | a97f0ace2d06863aa608e6d88d13a9b426ef229d /src/theory | |
parent | 7cec5cb5aba03324f1781a72457a2e1202d557ff (diff) |
Remove non-ASCII characters from source files. (#6039)
Make collect_tags.py more robust for non-ASCII characters.
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/bv/theory_bv_rewrite_rules_core.h | 2 |
1 files changed, 1 insertions, 1 deletions
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<ConcatExtractMerge>::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) { |