// Verified using https://dapp.tools

// hevm: flattened sources of src/claim.sol
pragma solidity >=0.5.15;

////// src/claim.sol
/* pragma solidity >=0.5.15; */

contract TinlakeClaimRAD {
    mapping (address => bytes32) public accounts;
    event Claimed(address claimer, bytes32 account);

    function update(bytes32 account) public {
        require(account != 0);
        accounts[msg.sender] = account;
        emit Claimed(msg.sender, account);
    }
}

{
  "compilationTarget": {
    "TinlakeClaimRAD.sol": "TinlakeClaimRAD"
  },
  "evmVersion": "istanbul",
  "libraries": {},
  "metadata": {
    "bytecodeHash": "ipfs"
  },
  "optimizer": {
    "enabled": false,
    "runs": 200
  },
  "remappings": []
}