diff --git a/build/StarcoinFramework/bytecode_modules/Compare.mv b/build/StarcoinFramework/bytecode_modules/Compare.mv
index cb60f4b6..670997b1 100644
Binary files a/build/StarcoinFramework/bytecode_modules/Compare.mv and b/build/StarcoinFramework/bytecode_modules/Compare.mv differ
diff --git a/build/StarcoinFramework/docs/Compare.md b/build/StarcoinFramework/docs/Compare.md
index a2f8b58a..006370d0 100644
--- a/build/StarcoinFramework/docs/Compare.md
+++ b/build/StarcoinFramework/docs/Compare.md
@@ -10,9 +10,6 @@
 -  [Function `cmp_bytes`](#0x1_Compare_cmp_bytes)
 -  [Function `cmp_u8`](#0x1_Compare_cmp_u8)
 -  [Function `cmp_u64`](#0x1_Compare_cmp_u64)
--  [Function `is_equal`](#0x1_Compare_is_equal)
--  [Function `is_less_than`](#0x1_Compare_is_less_than)
--  [Function `is_greater_than`](#0x1_Compare_is_greater_than)
 -  [Module Specification](#@Module_Specification_1)
 
 
@@ -253,114 +250,6 @@ Keep this in mind when using this function to compare addresses.
 
 
 
-</details>
-
-<a name="0x1_Compare_is_equal"></a>
-
-## Function `is_equal`
-
-
-
-<pre><code><b>public</b> <b>fun</b> <a href="Compare.md#0x1_Compare_is_equal">is_equal</a>(result: u8): bool
-</code></pre>
-
-
-
-<details>
-<summary>Implementation</summary>
-
-
-<pre><code><b>public</b> <b>fun</b> <a href="Compare.md#0x1_Compare_is_equal">is_equal</a>(result: u8): bool {
-    result == <a href="Compare.md#0x1_Compare_EQUAL">EQUAL</a>
-}
-</code></pre>
-
-
-
-</details>
-
-<details>
-<summary>Specification</summary>
-
-
-
-<pre><code><b>aborts_if</b> <b>false</b>;
-</code></pre>
-
-
-
-</details>
-
-<a name="0x1_Compare_is_less_than"></a>
-
-## Function `is_less_than`
-
-
-
-<pre><code><b>public</b> <b>fun</b> <a href="Compare.md#0x1_Compare_is_less_than">is_less_than</a>(result: u8): bool
-</code></pre>
-
-
-
-<details>
-<summary>Implementation</summary>
-
-
-<pre><code><b>public</b> <b>fun</b> <a href="Compare.md#0x1_Compare_is_less_than">is_less_than</a>(result: u8): bool {
-    result == <a href="Compare.md#0x1_Compare_LESS_THAN">LESS_THAN</a>
-}
-</code></pre>
-
-
-
-</details>
-
-<details>
-<summary>Specification</summary>
-
-
-
-<pre><code><b>aborts_if</b> <b>false</b>;
-</code></pre>
-
-
-
-</details>
-
-<a name="0x1_Compare_is_greater_than"></a>
-
-## Function `is_greater_than`
-
-
-
-<pre><code><b>public</b> <b>fun</b> <a href="Compare.md#0x1_Compare_is_greater_than">is_greater_than</a>(result: u8): bool
-</code></pre>
-
-
-
-<details>
-<summary>Implementation</summary>
-
-
-<pre><code><b>public</b> <b>fun</b> <a href="Compare.md#0x1_Compare_is_greater_than">is_greater_than</a>(result: u8): bool {
-    result == <a href="Compare.md#0x1_Compare_GREATER_THAN">GREATER_THAN</a>
-}
-</code></pre>
-
-
-
-</details>
-
-<details>
-<summary>Specification</summary>
-
-
-
-<pre><code><b>aborts_if</b> <b>false</b>;
-</code></pre>
-
-
-
 </details>
 
 <a name="@Module_Specification_1"></a>
diff --git a/build/StarcoinFramework/source_maps/Compare.mvsm b/build/StarcoinFramework/source_maps/Compare.mvsm
index 025b4156..6469c37c 100644
Binary files a/build/StarcoinFramework/source_maps/Compare.mvsm and b/build/StarcoinFramework/source_maps/Compare.mvsm differ
diff --git a/sources/Compare.move b/sources/Compare.move
index 45e20df5..b4ee466a 100644
--- a/sources/Compare.move
+++ b/sources/Compare.move
@@ -104,29 +104,6 @@ module Compare {
         aborts_if false;
     }
 
-    public fun is_equal(result: u8): bool {
-        result == EQUAL
-    }
-
-    spec is_equal {
-        aborts_if false;
-    }
-
-    public fun is_less_than(result: u8): bool {
-        result == LESS_THAN
-    }
-
-    spec is_less_than {
-        aborts_if false;
-    }
-
-    public fun is_greater_than(result: u8): bool {
-        result == GREATER_THAN
-    }
-
-    spec is_greater_than {
-        aborts_if false;
-    }
 }
 
 }