From fa152aa3e9266f0049614c90a73aa9657e3c4071 Mon Sep 17 00:00:00 2001 From: xleroy Date: Sun, 17 Sep 2006 13:13:34 +0000 Subject: typo in comment git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@106 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- backend/Lineartyping.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'backend/Lineartyping.v') diff --git a/backend/Lineartyping.v b/backend/Lineartyping.v index bf41908b..3a0ee131 100644 --- a/backend/Lineartyping.v +++ b/backend/Lineartyping.v @@ -97,7 +97,7 @@ Definition function_bounds := (max_over_slots_of_funct outgoing_slot))). (** We show that bounds computed by [function_bounds] are all positive - or null, and moreiver [bound_outgoing] is greater or equal to 6. + or null, and moreover [bound_outgoing] is greater or equal to 6. These properties are used later to reason about the layout of the activation record. *) -- cgit