seal5/tools/inject_patches.py: add better warning

tum-ei-eda · Mar 5, 2025 · 7ba1901 · 7ba1901
1 parent ad39f5f
commit 7ba1901
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/seal5/tools/inject_patches.py b/seal5/tools/inject_patches.py
@@ -93,6 +93,7 @@ def find_site(path, key):
                     start_mark += line
         if start_mark is None:
             # fallback
+            logger.warning("Marker not found: {path}, {key}. Retrying without key...")
             if key:
                 return find_site(path, None)
             assert False, f"Marker not found: {path}, {key}"