From 8e428f2d3fa2dfa9f7de6243ffe246a2eeb1594c Mon Sep 17 00:00:00 2001 From: Rob Lewis Date: Sat, 15 Aug 2015 22:21:54 -0400 Subject: [PATCH] fix(src/library/definitional/equations.cpp): fix typo in error message --- src/library/definitional/equations.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/definitional/equations.cpp b/src/library/definitional/equations.cpp index 1e04d9008..c3ca09ec4 100644 --- a/src/library/definitional/equations.cpp +++ b/src/library/definitional/equations.cpp @@ -935,7 +935,7 @@ class equation_compiler_fn { expr t = subst.instantiate_all(g.get_meta()); return some_expr(t); } else { - throw_error(sstream() << "patter matching failed"); + throw_error(sstream() << "pattern matching failed"); } }