add comment

a16z · Sep 15, 2023 · c8c2d5d · c8c2d5d
1 parent 32768e0
commit c8c2d5d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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 );