From 1a0fa3596c3c1abcf6030163e894adecc799140a Mon Sep 17 00:00:00 2001
From: Philipp Ruemmer <ph_r@gmx.net>
Date: Thu, 30 May 2024 18:01:57 +0200
Subject: [PATCH] Update ostrich.json

Fixed command line
---
 submissions/ostrich.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/submissions/ostrich.json b/submissions/ostrich.json
index ec87c843..b51457ae 100644
--- a/submissions/ostrich.json
+++ b/submissions/ostrich.json
@@ -18,7 +18,7 @@
     },
     "website": "https://github.com/uuverifiers/ostrich",
     "system_description": "https://philipp.ruemmer.org/ostrich-2024.pdf",
-    "command": ["./ostrich -portfolio=strings +quiet"],
+    "command": ["./ostrich", "-portfolio=strings", "+quiet"],
     "solver_type": "Standalone",
     "seed": "753",
     "participations": [