From 7ff251b9793a9ff030e63778f1f99b8cfa5ba101 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 5 Nov 2024 15:22:23 +0100 Subject: [PATCH] core: move intrinsics.rs into intrinsics folder --- core/src/{intrinsics.rs => intrinsics/mod.rs} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename core/src/{intrinsics.rs => intrinsics/mod.rs} (100%) diff --git a/core/src/intrinsics.rs b/core/src/intrinsics/mod.rs similarity index 100% rename from core/src/intrinsics.rs rename to core/src/intrinsics/mod.rs