Fix plat-smt.json

SMT-COMP · May 31, 2024 · e458721 · e458721
1 parent 66fe315
commit e458721
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/submissions/plat-smt.json b/submissions/plat-smt.json
@@ -11,7 +11,7 @@
     "website": "https://github.com/dewert99/plat-smt",
     "system_description": "https://github.com/dewert99/plat-smt/files/15505357/PlatSMT_2024_System_Description.pdf",
     "command": ["./plat-smt"],
-    "solver_type": "Wrapper",
+    "solver_type": "wrapped",
     "seed": 6536,
   "participations": [
     {