Merge pull request #4086 from NlightNFotis/goto-programs-doc-fix

Move forgotten line that documents cbmc version

Author: NlightNFotis

src/goto-programs/README.md

@@ -342,6 +342,8 @@ mult /* mult */
         END_FUNCTION
 ```
 
+(The above result was produced using `cbmc version 5.11`)
+
 \section section-goto-transforms Subsequent Transformation
 
 It is normal for a program that calls `goto_convert` to immediately pass the
@@ -568,8 +570,6 @@ then it performs 'linking' of the temporary into a passed destination
 Details about linking of `::goto_modelt` instances can be found
 [here](\ref section-linking-goto-models).
 
-(The above result was produced using `cbmc version 5.11`)
-
 \section section-linking-goto-models Linking Goto Models
 
 C++ modules: