Merge remote-tracking branch 'origin/develop' into _update-deps/runti…

…meverification/haskell-backend
runtimeverification · Jun 18, 2024 · f810add · f810add
2 parents c0da54b + 2efa074
commit f810add
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pyk/src/pyk/proof/reachability.py b/pyk/src/pyk/proof/reachability.py
@@ -291,7 +291,7 @@ def formatted_exec_time(self) -> str:
     @staticmethod
     def _make_module_name(proof_id: str) -> str:
         return 'M-' + re.sub(
-            r'[\[\]]|[_%().:,]+', lambda match: 'bkt' if match.group(0) in ['[', ']'] else '-', proof_id.upper()
+            r'[\[\]]|[_%().:,@]+', lambda match: 'bkt' if match.group(0) in ['[', ']'] else '-', proof_id.upper()
         )
 
     @staticmethod