diff --git a/src/test/contracts/expected/FA1.2.mligo.expected b/src/test/contracts/expected/FA1.2.mligo.expected index 6bfd26c97..5d8ea43fe 100644 --- a/src/test/contracts/expected/FA1.2.mligo.expected +++ b/src/test/contracts/expected/FA1.2.mligo.expected @@ -24,11 +24,11 @@ type getBalance = {owner : address; callback : nat contract} type getTotalSupply = {callback : nat contract} type action = - Transfer of transfer - | Approve of approve - | GetAllowance of getAllowance - | GetBalance of getBalance - | GetTotalSupply of getTotalSupply + Transfer of transfer +| Approve of approve +| GetAllowance of getAllowance +| GetBalance of getBalance +| GetTotalSupply of getTotalSupply let transfer (p, s : transfer * storage) : operation list * storage = diff --git a/src/test/contracts/expected/check_signature.mligo.expected b/src/test/contracts/expected/check_signature.mligo.expected index bef4276d4..d947f5e26 100644 --- a/src/test/contracts/expected/check_signature.mligo.expected +++ b/src/test/contracts/expected/check_signature.mligo.expected @@ -1,5 +1,5 @@ let check_signature -(pk, signed, msg : key * signature * bytes) : bool = + (pk, signed, msg : key * signature * bytes) : bool = Crypto.check pk signed msg let example : bool =