fix

Stevengre · Stevengre · commit 017837ef135f · 2025-07-10T18:16:20.000+08:00
diff --git a/src/tests/integration/test-data/specs/bytes-int-1.k b/src/tests/integration/test-data/specs/bytes-int-1.k
@@ -1,4 +1,4 @@
-module BYTES-INT-SIMPLIFICATION
+module BYTES-INT-1
   imports RISCV
 
   claim [id]:

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-module BYTES-INT-SIMPLIFICATION`
	`1`	`+module BYTES-INT-1`
`2`	`2`	`imports RISCV`
`3`	`3`
`4`	`4`	`claim [id]:`