[wrong namespace
martin.hofmann@uni-bamberg.de**20090427070704] hunk ./src/RuleDevelopment/Matching.hs 2
-module Context.Matching where
+module RuleDevelopment.Matching where
hunk ./src/RuleDevelopment/Matching.hs 8
-introduceMatchings _ _ = do 
+introduceMatchings _ rf = do 