From e3128435f8dbd57cbc7855c440943f2d41fac318 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 22 Sep 2016 07:55:45 -0400 Subject: [PATCH] Typo fix in comment --- BasicSyntax.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/BasicSyntax.v b/BasicSyntax.v index 5184b28..1948495 100644 --- a/BasicSyntax.v +++ b/BasicSyntax.v @@ -77,7 +77,7 @@ Module ArithWithConstants. * matches one of the [match] cases in a defining [Fixpoint], * replace with the body of that case, then repeat. *) linear_arithmetic. - (* [linear_arithemtic]: a complete decision procedure for linear arithmetic. + (* [linear_arithmetic]: a complete decision procedure for linear arithmetic. * Relevant formulas are essentially those built up from * variables and constant natural numbers and integers * using only addition, with equality and inequality