Deleting comment

Pi-Squared-Inc · Sep 19, 2024 · c062f42 · c062f42
1 parent 1b8679a
commit c062f42
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/uniswap-summaries.md b/src/uniswap-summaries.md
@@ -2432,7 +2432,7 @@ module SOLIDITY-UNISWAP-GETAMOUNTOUT-SUMMARY
   imports SOLIDITY-CONFIGURATION
   imports SOLIDITY-UNISWAP-TOKENS
   
-  rule <k> uniswapV2LibraryGetAmountOut:Id ( v(V1:MInt{256}, uint256 #as T), v(V2:MInt{256}, T), v(V3:MInt{256}, T), .TypedVals ) => v((V1 *MInt 997p256  *MInt V3) /uMInt (V2 *MInt 1000p256 +MInt V1 *MInt 997p256), T) ...</k> //V4
+  rule <k> uniswapV2LibraryGetAmountOut:Id ( v(V1:MInt{256}, uint256 #as T), v(V2:MInt{256}, T), v(V3:MInt{256}, T), .TypedVals ) => v((V1 *MInt 997p256  *MInt V3) /uMInt (V2 *MInt 1000p256 +MInt V1 *MInt 997p256), T) ...</k>
        <summarize> true </summarize>
        <store> S => S ListItem(V1) ListItem(V2) ListItem(V3)
                       ListItem((V1 *MInt 997p256  *MInt V3) /uMInt (V2 *MInt 1000p256 +MInt V1 *MInt 997p256) )