From 8af14aba40160aeef5bfb78e042b8d1e719f0344 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20Ber=C3=A1nek?= Date: Wed, 30 Apr 2025 09:37:55 +0200 Subject: [PATCH] Move typenum-1.18.0 patch file to the correct directory --- .../compile-benchmarks/{ => typenum-1.18.0}/0-add-fn.patch | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) rename collector/compile-benchmarks/{ => typenum-1.18.0}/0-add-fn.patch (55%) 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 {}