Update src/Ledger/Conway/Specification/Epoch.lagda.md

Co-authored-by: William DeMeo <williamdemeo@gmail.com>

Author: carlostome

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

@@ -594,7 +594,7 @@ which roughly correspond to:
 - `Post-POOLREAP-Update`{.AgdaDatatype}: Used to update `Acnt` and `DState` from
   the output of `POOLREAP`{.AgdaDatatype} part of which is in the environment of
   the `RATIFY`{.AgdaDatatype} transition system and part of which belongs to the
-  returned `EpochState`{.AgdaInductiveConstructor}.
+  returned `EpochState`{.AgdaRecord}.
 
 #### Helper Functions