diff --git a/collector/compile-benchmarks/0-add-fn.patch b/collector/compile-benchmarks/typenum-1.18.0/0-add-fn.patch similarity index 55% rename from collector/compile-benchmarks/0-add-fn.patch rename to collector/compile-benchmarks/typenum-1.18.0/0-add-fn.patch index c119d0d8e..931adafbe 100644 --- a/collector/compile-benchmarks/0-add-fn.patch +++ b/collector/compile-benchmarks/typenum-1.18.0/0-add-fn.patch @@ -1,7 +1,7 @@ -diff --git a/typenum-1.18.0/src/lib.rs b/typenum-1.18.0/src/lib.rs +diff --git a/src/lib.rs b/src/lib.rs index f7a1241a..13582037 100644 ---- a/typenum-1.18.0/src/lib.rs -+++ b/typenum-1.18.0/src/lib.rs +--- a/src/lib.rs ++++ b/src/lib.rs @@ -173,3 +173,4 @@ mod sealed { impl Sealed for ATerm {} impl Sealed for TArr {}