Skip to content

Commit 6e2954e

Browse files
datokratdatokrat
committed
fix test 6332
1 parent e683d32 commit 6e2954e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎tests/lean/run/6332.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ Regression test for #6332
33
-/
44

55
open Function (uncurry)
6-
open Std (Range)
6+
open Std.Legacy (Range)
77

88
section Matrix
99

0 commit comments

Comments
 (0)