From a082ab4329c3005bf8368638168bdcb916ddafba Mon Sep 17 00:00:00 2001 From: Rot127 Date: Fri, 23 Aug 2024 05:34:58 -0500 Subject: [PATCH] Don't fix python to 3.11 and remove some latex docs --- suite/auto-sync/format_py.sh | 2 +- suite/auto-sync/src/autosync/Helper.py | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/suite/auto-sync/format_py.sh b/suite/auto-sync/format_py.sh index b5fc2c64f8..53e0569957 100755 --- a/suite/auto-sync/format_py.sh +++ b/suite/auto-sync/format_py.sh @@ -1,3 +1,3 @@ #!/usr/bin/bash -python3.11 -m black src/autosync +python3 -m black src/autosync diff --git a/suite/auto-sync/src/autosync/Helper.py b/suite/auto-sync/src/autosync/Helper.py index 206bacf45c..b91c1cbb82 100644 --- a/suite/auto-sync/src/autosync/Helper.py +++ b/suite/auto-sync/src/autosync/Helper.py @@ -34,8 +34,8 @@ def find_id_by_type(node: Node, node_types: [str], type_must_match: bool) -> byt """ Recursively searches for a node sequence with given node types. - A valid sequence is a path from !\f$node_n\f$ to !\f$node_{(n + |node\_types|-1)}\f$ where - !\f$\forall i \in \{0, ..., |node\_types|-1\}: type(node_{(n + i)}) = node\_types_i\f$. + A valid sequence is a path from node_n to node_{(n + |node_types|-1)} where + forall i in {0, ..., |node_types|-1}: type(node_{(n + i)}) = node_types_i. If a node sequence is found, this functions returns the text associated with the last node in the sequence.