Commit History

Author SHA1 Message Date
  Simon Krajewski bfff24a115 do not recover from unification errors in patterns (closes #5375) 9 years ago