From e6ddc88f0192e97349b77b0a653888a6b73c6696 Mon Sep 17 00:00:00 2001
From: Hanno Braun <hanno@braun-odw.eu>
Date: Tue, 30 May 2023 10:48:57 +0200
Subject: [PATCH] Adapt `export-validator` to new setup

---
 tools/export-validator/src/main.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/export-validator/src/main.rs b/tools/export-validator/src/main.rs
index 5d3a3d9a2..5b6849e9b 100644
--- a/tools/export-validator/src/main.rs
+++ b/tools/export-validator/src/main.rs
@@ -35,8 +35,8 @@ fn handle_model(model: String) -> Result<(), anyhow::Error> {
     let export_file_path_str = export_file_path.to_str().unwrap();
     let exit_status = Command::new("cargo")
         .arg("run")
+        .args(["-p", &model])
         .arg("--")
-        .arg(&model)
         .args(["--export", export_file_path_str])
         .status()?;
     if !exit_status.success() {