From c8c2d5dcd746a5a051a13888db974011fdd2e1af Mon Sep 17 00:00:00 2001 From: Daejun Park Date: Wed, 13 Sep 2023 10:41:23 -0700 Subject: [PATCH] add comment --- examples/tokens/ERC20/test/CurveTokenV3.t.sol | 2 ++ 1 file changed, 2 insertions(+) diff --git a/examples/tokens/ERC20/test/CurveTokenV3.t.sol b/examples/tokens/ERC20/test/CurveTokenV3.t.sol index f0cead5a..3e1f1aad 100644 --- a/examples/tokens/ERC20/test/CurveTokenV3.t.sol +++ b/examples/tokens/ERC20/test/CurveTokenV3.t.sol @@ -4,6 +4,8 @@ pragma solidity >=0.8.0 <0.9.0; import {SymTest} from "halmos-cheatcodes/SymTest.sol"; import {ERC20Test} from "./ERC20Test.sol"; +// https://github.com/curvefi/curve-contract/blob/master/contracts/tokens/CurveTokenV3.vy + // Auto-generated by https://bia.is/tools/abi2solidity/ interface CurveTokenV3 { function decimals ( ) external view returns ( uint256 );