From 0cc860b74b01bf0cc345dab7731d6d0d56a00a28 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?=
 <tothtamas28@users.noreply.github.com>
Date: Wed, 21 Jan 2026 10:25:37 +0000
Subject: [PATCH] Add missing command-line options in `_parse_args`

---
 kmir/src/kmir/__main__.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/kmir/src/kmir/__main__.py b/kmir/src/kmir/__main__.py
index 05472fe19..aeea7fd25 100644
--- a/kmir/src/kmir/__main__.py
+++ b/kmir/src/kmir/__main__.py
@@ -605,6 +605,8 @@ def _parse_args(ns: Namespace) -> KMirOpts:
             return ProveRSOpts(
                 rs_file=Path(ns.rs_file),
                 proof_dir=ns.proof_dir,
+                haskell_target=ns.haskell_target,
+                llvm_lib_target=ns.llvm_lib_target,
                 bug_report=ns.bug_report,
                 max_depth=ns.max_depth,
                 max_iterations=ns.max_iterations,