Permalink
Browse files

Generate positive names

  • Loading branch information...
1 parent 5634934 commit 8c69a50940d848ac70c113d86b5dd78c8f0023a5 @yav committed Nov 10, 2013
Showing with 2 additions and 2 deletions.
  1. +2 −2 src/Data/Integer/SAT.hs
@@ -191,7 +191,7 @@ data RW = RW { nameSource :: !Int
} deriving Show
initRW :: RW
-initRW = RW { nameSource = -1, todo = qEmpty, inerts = iNone }
+initRW = RW { nameSource = 0, todo = qEmpty, inerts = iNone }
solveAll :: S ()
solveAll =
@@ -587,7 +587,7 @@ get f = updS $ \rw -> (f rw, rw)
newVar :: S Name
newVar = updS $ \rw -> ( SysName (nameSource rw)
- , rw { nameSource = nameSource rw - 1 }
+ , rw { nameSource = nameSource rw + 1 }
)
-- | Try to get a new item from the work queue.

0 comments on commit 8c69a50

Please sign in to comment.