.toml again...

runtimeverification · Dec 12, 2024 · 5f278fe · 5f278fe
1 parent f43e051
commit 5f278fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pyk/src/tests/unit/test-data/pyk_toml_test.toml b/pyk/src/tests/unit/test-data/pyk_toml_test.toml
@@ -1,6 +1,6 @@
 [coverage]
 output = "default-file"
-definition = "/var/folders/ks/1p8zyp5j7xz_v1krhl4l17tm0000gn/T"
+definition = "/tmp"
 
 [print]
 input = "kast-json"