# HG changeset patch # User Franz Glasner # Date 1776867940 -7200 # Node ID 9004ff0394971427c989d0f0eaf4efb1474285e3 # Parent d9a3551a1038b7642b5dde0ad93d3d11764d4ba8 Simplify op_replace in fr_pseudocode.py: use dict.get() more intelligently diff -r d9a3551a1038 -r 9004ff039497 pygments_lexer_pseudocode2/fr_pseudocode.py --- a/pygments_lexer_pseudocode2/fr_pseudocode.py Wed Apr 22 16:23:09 2026 +0200 +++ b/pygments_lexer_pseudocode2/fr_pseudocode.py Wed Apr 22 16:25:40 2026 +0200 @@ -49,11 +49,8 @@ def op_replace(lexer, match): op = match.group(0) - opr = lexer.REPLACEMENTS.get(op) - if opr is None: - yield match.start(), Operator, op - else: - yield match.start(), Operator, opr + opr = lexer.REPLACEMENTS.get(op, op) + yield match.start(), Operator, opr def scomment(lexer, match): s = match.group(1).lower().strip()