Fix model validation suffix for pretty printing. (#123)

SMT-COMP · Jul 19, 2024 · 5ced09b · 5ced09b
1 parent 53ec522
commit 5ced09b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/web/data/pretty_names.json b/web/data/pretty_names.json
@@ -17,7 +17,7 @@
         "track_single_query": "Single Query Track",
         "track_incremental": "Incremental Track",
         "track_unsatcore": "Unsat Core Track",
-        "track_model": "Model Validation Track",
+        "track_model_validation": "Model Validation Track",
         "track_cloud": "Cloud Track",
         "track_parallel": "Parallel Track",
         "SingleQuery": "Single Query Track",