Fix error message

runtimeverification · Oct 16, 2023 · 1f5ae97 · 1f5ae97
1 parent c5d61ea
commit 1f5ae97
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kevm-pyk/src/kevm_pyk/kdist/_kdist.py b/kevm-pyk/src/kevm_pyk/kdist/_kdist.py
@@ -128,7 +128,7 @@ def clean(target: str | None = None) -> Path:
 def get(target: str) -> Path:
     res = which(target)
     if not res.exists():
-        raise ValueError('Target is not built: {target}')
+        raise ValueError(f'Target is not built: {target}')
     return res