Don't fix python to 3.11 and remove some latex docs

capstone-engine · Aug 23, 2024 · a082ab4 · a082ab4
1 parent f856822
commit a082ab4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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.