From 10fc52bd735062bd18b66e24063c8960fe47cdb1 Mon Sep 17 00:00:00 2001
From: Karthikeyan Bhargavan <karthik.bhargavan@gmail.com>
Date: Thu, 23 Jan 2025 15:23:32 +0100
Subject: [PATCH] fmt

---
 engine/names/src/lib.rs | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/engine/names/src/lib.rs b/engine/names/src/lib.rs
index 78125ac7a..885238195 100644
--- a/engine/names/src/lib.rs
+++ b/engine/names/src/lib.rs
@@ -225,14 +225,14 @@ mod hax {
         fn div() {}
         fn mul() {}
         fn rem() {}
-	
+
         fn not() {}
-	fn bitxor() {}
-	fn bitor() {}
-	fn bitand() {}
+        fn bitxor() {}
+        fn bitor() {}
+        fn bitand() {}
         fn shl() {}
         fn shr() {}
-	
+
         fn eq() {}
         fn ne() {}
         fn le() {}