From 24369107b50979ac4b0f978b04c88825768df979 Mon Sep 17 00:00:00 2001
From: Jay <83922342+Jayfromthe13th@users.noreply.github.com>
Date: Thu, 2 Jan 2025 17:36:53 -0600
Subject: [PATCH] Delete framework/libra-framework/backup_specs/burn.spec.move

---
 .../libra-framework/backup_specs/burn.spec.move   | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 framework/libra-framework/backup_specs/burn.spec.move

diff --git a/framework/libra-framework/backup_specs/burn.spec.move b/framework/libra-framework/backup_specs/burn.spec.move
deleted file mode 100644
index a96f5af17..000000000
--- a/framework/libra-framework/backup_specs/burn.spec.move
+++ /dev/null
@@ -1,15 +0,0 @@
-spec ol_framework::burn {
-    use std::signer;
-    use diem_framework::system_addresses;
-    use ol_framework::libra_coin::LibraCoin;
-    use ol_framework::coin;
-
-    spec module {
-        pragma verify = true;
-        pragma aborts_if_is_strict = false;
-    }
-
-    spec initialize(vm: &signer) {
-        aborts_if !system_addresses::is_ol_framework_address(signer::address_of(vm));
-    }
-}