From 00d11c10371b30f28c1acf4569a372c1c6c7eb51 Mon Sep 17 00:00:00 2001
From: Philipp van Kempen <philipp.van-kempen@tum.de>
Date: Tue, 19 Mar 2024 10:47:30 +0100
Subject: [PATCH] fix prefix overrides

---
 seal5/pass_list.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/seal5/pass_list.py b/seal5/pass_list.py
index a7a716a4..371dae2a 100644
--- a/seal5/pass_list.py
+++ b/seal5/pass_list.py
@@ -17,6 +17,7 @@ def convert_models(
     env: Optional[dict] = None,
     verbose: bool = False,
     inplace: bool = False,
+    prefix: Optional[str] = None,
     **kwargs,
 ):
     assert not inplace
@@ -35,6 +36,9 @@ def convert_models(
         "info",
         # "debug",
     ]
+    if prefix:
+        assert isinstance(prefix, str)
+        args.extend(["--prefix", prefix])
     utils.python(
         "-m",
         "seal5.transform.converter",