fmt

cryspen · Feb 3, 2025 · 1acd747 · 1acd747
1 parent 16a4bd2
commit 1acd747
Showing 1 changed file with 12 additions and 12 deletions.
diff --git a/hax-lib/src/dummy.rs b/hax-lib/src/dummy.rs
@@ -73,34 +73,34 @@ pub mod int {
     }
 
     impl Add for Int {
-    	type Output = Self;
+        type Output = Self;
 
-    	fn add(self, other: Self) -> Self::Output {
-           Int(0)
+        fn add(self, other: Self) -> Self::Output {
+            Int(0)
         }
     }
 
     impl Sub for Int {
-    	type Output = Self;
+        type Output = Self;
 
-    	fn sub(self, other: Self) -> Self::Output {
-           Int(0)
+        fn sub(self, other: Self) -> Self::Output {
+            Int(0)
         }
     }
 
     impl Mul for Int {
-    	type Output = Self;
+        type Output = Self;
 
-    	fn mul(self, other: Self) -> Self::Output {
-           Int(0)
+        fn mul(self, other: Self) -> Self::Output {
+            Int(0)
         }
     }
 
     impl Div for Int {
-    	type Output = Self;
+        type Output = Self;
 
-    	fn div(self, other: Self) -> Self::Output {
-           Int(0)
+        fn div(self, other: Self) -> Self::Output {
+            Int(0)
         }
     }