From 6a20be4531045b0a36ac25836a3ce7d171f00b94 Mon Sep 17 00:00:00 2001 From: Philipp Gackstatter Date: Tue, 19 Mar 2024 12:18:20 +0100 Subject: [PATCH] Do not allow burning while melting --- tips/TIP-0044/tip-0044.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tips/TIP-0044/tip-0044.md b/tips/TIP-0044/tip-0044.md index 193615444..8b256c457 100644 --- a/tips/TIP-0044/tip-0044.md +++ b/tips/TIP-0044/tip-0044.md @@ -525,7 +525,7 @@ encoded in inputs and outputs respectively. - `Current State(Melted Tokens) = Next State(Melted Tokens)` 2. When `Token Diff` < 0, it must hold true that: - `Current State(Melted Tokens) <= Next State(Melted Tokens)` - - `[Next State(Melted Tokens) - Current State(Melted Tokens)] <= |Token Diff|`. + - `[Next State(Melted Tokens) - Current State(Melted Tokens)] == |Token Diff|`. - When `Current State(Melted Tokens) != Next State(Melted Tokens)`, it must be true that `Current State(Minted Tokens) = Next State(Minted Tokens)` 3. When `Current State` is empty, `Current State(Minted Tokens) = 0` and `Current State(Melted Tokens) = 0`.