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 );