fix problem created during merge

Author: williamdemeo

src/Ledger/Conway/Specification.lagda.md

@@ -127,8 +127,8 @@ import Ledger.Conway.Specification.Script.Validation
 ## Tests and Examples
 
 ```agda
-import Ledger.Conway.Specification.Test.Examples
-import Ledger.Conway.Specification.Test.StructuredContracts
+import Test.Examples
+import Test.StructuredContracts
 ```
 
 ## Token Algebras