missed bracket
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 15 Jul 2020 12:21:21 +0000 (13:21 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 15 Jul 2020 12:21:21 +0000 (13:21 +0100)
Documentation/notes_on_formal_proofs.mdwn

index 8c6091885b4f658a57d031ba2ae56a8b46065eab..01966058c10e1cfd19280bd910a8fce900b2bb85 100644 (file)
@@ -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)