From df2f50db3703b4f7f88f00ac382c7f3f1efaceb3 Mon Sep 17 00:00:00 2001 From: Guillaume Melquiond Date: Mon, 23 Feb 2015 11:26:51 +0100 Subject: Fix some typos in comments. --- theories/Program/Utils.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'theories/Program') diff --git a/theories/Program/Utils.v b/theories/Program/Utils.v index e39128cb8..65fe87801 100644 --- a/theories/Program/Utils.v +++ b/theories/Program/Utils.v @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(** Various syntaxic shortands that are useful with [Program]. *) +(** Various syntactic shorthands that are useful with [Program]. *) Require Export Coq.Program.Tactics. -- cgit v1.2.3