Apply suggestion from @williamdemeo

Co-authored-by: William DeMeo <[email protected]>

Author: facundominguez

src/Ledger/Conway/Specification/PoolReap.lagda.md

@@ -38,6 +38,7 @@ instance
   unquoteDecl HasCast-PoolReapState = derive-HasCast
                 [ (quote PoolReapState , HasCast-PoolReapState) ]
 ```
+-->
 
 Recall, `PState`{.AgdaDatatype} is a record with two fields, `pools`{.AgdaField}
 and `retiring`{.AgdaField} (maps on `KeyHash`{.AgdaField} with codomains