~cypheon/idris-minisat

30d6d6184d54f424dfca189db68d508c2e26eb5d — Johann Rudloff 1 year, 17 days ago 87fab87
Remove unnecessary `the`
1 files changed, 1 insertions(+), 1 deletions(-)

M Data/DIMACS.idr
M Data/DIMACS.idr => Data/DIMACS.idr +1 -1
@@ 108,7 108,7 @@ export
parseDIMACS : String -> Either String CNFProblem
parseDIMACS s = do
  toks <- lexDimacs s
  (parsed, toks) <- the (Either String (CNFProblem, List Token)) $ either (Left . showError) Right $ parse parseCNF toks
  (parsed, toks) <- either (Left . showError) Right $ parse parseCNF toks
  Right parsed

export