From ffacb67a03cca4e0ba6f3639ead16db9091bddba Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Wed, 11 Dec 2024 21:30:40 -0800
Subject: [PATCH] fix: DSP output

---
 experiments/dsp/main.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/experiments/dsp/main.py b/experiments/dsp/main.py
index 133e766..3372e00 100644
--- a/experiments/dsp/main.py
+++ b/experiments/dsp/main.py
@@ -273,7 +273,7 @@ def single_proof_search_dsp_lean(
         try:
             server = server_func()
         except Exception as e:
-            print(colored("Failed to create server: {e}", "red"))
+            print(colored(f"Failed to create server: {e}", "red"))
             return DatumResult(
                 name=str(datum),
                 error=str(e),