@@ -93,7 +93,7 @@ matchTerm lhs tm = matchVars [] lhs tm
93 = do fm <- doMatch ns f f'
93 = do fm <- doMatch ns f f'
94 am <- doMatch ns a a'
94 am <- doMatch ns a a'
95 return (fm ++ am)
95 return (fm ++ am)
96− doMatch ns x y | x == y = return []
96+ doMatch ns x y | vToP x == vToP y = return []
97 | otherwise = Nothing
97 | otherwise = Nothing