1 files changed, 1 insertions, 1 deletions
diff --git a/.codecov.yml b/.codecov.yml
index c4a12ef7..bccacde0 100644
--- a/.codecov.yml
+++ b/.codecov.yml
@@ -11,7 +11,7 @@ coverage:
   range: "70...100"
 
 fixes:
-  - "home/travis/build/klee/klee::"
+  - "/tmp/klee_src::"
 ignore:
   - "usr/"
   - "test/"