From a7724d6cab9add78af708b4bd1b77bb9f0641a55 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Wed, 15 Jul 2020 13:21:21 +0100 Subject: [PATCH] missed bracket --- Documentation/notes_on_formal_proofs.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Documentation/notes_on_formal_proofs.mdwn b/Documentation/notes_on_formal_proofs.mdwn index 8c6091885..01966058c 100644 --- a/Documentation/notes_on_formal_proofs.mdwn +++ b/Documentation/notes_on_formal_proofs.mdwn @@ -13,8 +13,8 @@ In the discussion below, I'll be referring to the following URLs: ## Pipeline Stage Architecture A pipeline stage appears to have the following overall architecture -(there will almost certainly be exceptions to this that I'm not familiar with -lkcl: no, there are absolutely none. no exceptions. at all. this is +(there will almost certainly be exceptions to this that I'm not familiar with). +(lkcl: no, there are absolutely none. no exceptions. at all. this is because there is a defined API): (from previous stage) -- 2.30.2