max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: fix test

Browse source
This commit is contained in:
Leonardo de Moura 2022-05-04 15:34:37 -07:00
parent dce92c6362
commit 7a1c79043e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/bench/liasolver.lean
View file

@ -203,7 +203,7 @@ structure Problem where
deriving Inhabited
def preprocess? (eqs : HashMap Nat Equation) : Option (HashMap Nat Equation) :=
OptionM.run <| eqs.mapValsM (·.preprocess?)
eqs.mapValsM (·.preprocess?)
def eliminateSingleton (p : Problem) (singletonEq : Equation) (varIdx : Nat) : Problem := Id.run <| do
let mut eqsWithVarIdx : Array Nat := #[]