From 7a1c79043e37f8864079ec378210cdce95d2f03d Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 4 May 2022 15:34:37 -0700
Subject: [PATCH] chore: fix test

---
 tests/bench/liasolver.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/bench/liasolver.lean b/tests/bench/liasolver.lean
index 15da39814c..c3feee8216 100644
--- a/tests/bench/liasolver.lean
+++ b/tests/bench/liasolver.lean
@@ -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 := #[]