Permalink
Browse files

Alpha renaming

  • Loading branch information...
1 parent a3082cf commit f234f2f37c866bbaabef8e3f36a82020ebd40f9a @yav committed Oct 27, 2013
Showing with 2 additions and 2 deletions.
  1. +2 −2 src/Data/Integer/Presburger/Omega.hs
@@ -19,11 +19,11 @@ solveAll :: S ()
solveAll =
do mbEq <- getIs0
case mbEq of
- Just eq -> solveIs0 eq >> solveAll
+ Just p -> solveIs0 p >> solveAll
Nothing ->
do mbLt <- getIsNeg
case mbLt of
- Just lt -> solveIsNeg lt >> solveAll
+ Just p -> solveIsNeg p >> solveAll
Nothing -> return ()

0 comments on commit f234f2f

Please sign in to comment.