xqyww123
diff --git a/‎Uniswap_Pool.phi-cache
12 Bytes b/‎Uniswap_Pool.phi-cache
12 Bytes
diff --git a/‎Uniswap_Pool.thy
+1-1 b/‎Uniswap_Pool.thy
+1-1
diff --git a/‎Uniswap_Tick.phi-cache
-236 Bytes b/‎Uniswap_Tick.phi-cache
-236 Bytes
@@ -203,7 +203,7 @@ proc swap:
 \<close>
   is [routine]
   (* is [noDelegateCall]  Currently no modifier is supported, but is planned *)
-  \<medium_left_bracket> D ;;
+  \<medium_left_bracket> destruct ;;
     require (\<open>$amount_specified \<noteq> 0\<close>) ;;
     require (get_pool_unlock) ;;
     require (