Merge branch 'sparse'HEADmaster

1 files changed, 2 insertions, 2 deletions

diff --git a/src/Data/VarMap.hs b/src/Data/VarMap.hs
index 9c10421..2712b08 100644
--- a/src/Data/VarMap.hs
+++ b/src/Data/VarMap.hs
@@ -74,7 +74,7 @@ subMap :: Eq k => Subenv env env' -> VarMap k env -> VarMap k env'
 subMap subenv =
   let bools = let loop :: Subenv env env' -> [Bool]
                   loop SETop = []
-                  loop (SEYes sub) = True : loop sub
+                  loop (SEYesR sub) = True : loop sub
                   loop (SENo sub) = False : loop sub
               in VS.fromList $ loop subenv
       newIndices = VS.init $ VS.scanl' (\n b -> if b then n + 1 else n) (0 :: Int) bools
@@ -89,7 +89,7 @@ superMap :: Eq k => Subenv env env' -> VarMap k env' -> VarMap k env
 superMap subenv =
   let loop :: Subenv env env' -> Int -> [Int]
       loop SETop _ = []
-      loop (SEYes sub) i = i : loop sub (i+1)
+      loop (SEYesR sub) i = i : loop sub (i+1)
       loop (SENo sub) i = loop sub (i+1)
 
       newIndices = VS.fromList $ loop subenv 0