fix: lint (#1373)

Author: yi-sun

examples/u256/src/main.rs

@@ -3,6 +3,7 @@
 #![allow(clippy::needless_range_loop)]
 
 use core::array;
+
 use openvm_bigint_guest::U256;
 
 openvm::entry!(main);