Skip to content

Commit abcd564

Browse files
author
oxe-i
committed
remove unnecessary filter in generator
1 parent eb110d2 commit abcd564

File tree

1 file changed

+0
-3
lines changed

1 file changed

+0
-3
lines changed

generators/Generator/Generator/BankAccountGenerator.lean

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -71,9 +71,6 @@ def genTestCase (exercise : String) (case : TreeMap.Raw String Json) : String :=
7171
let operations := case.get! "input"
7272
|>.getObjValD "operations"
7373
|> toList
74-
|>.filter (λ j =>
75-
let literal := toLiteral s!"{j}"
76-
literal != "balance")
7774
let description := case.get! "description"
7875
|> (·.compress)
7976
let expected := case.get! "expected"

0 commit comments

Comments
 (0)