diff options
| -rw-r--r-- | src/GF/Grammar/Unify.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Grammar/Unify.hs b/src/GF/Grammar/Unify.hs index 58c0e37fd..7deb5e90a 100644 --- a/src/GF/Grammar/Unify.hs +++ b/src/GF/Grammar/Unify.hs @@ -26,7 +26,7 @@ import Data.List (partition) unifyVal :: Constraints -> Err (Constraints,MetaSubst) unifyVal cs0 = do let (cs1,cs2) = partition notSolvable cs0 - let (us,vs) = unzip cs1 + let (us,vs) = unzip cs2 us' <- mapM val2exp us vs' <- mapM val2exp vs let (ms,cs) = unifyAll (zip us' vs') [] |