refactor: Clean up comment code

formal-land · Nov 13, 2024 · 6004d2f · 6004d2f
1 parent 5f454fc
commit 6004d2f
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/CoqOfRust/move_sui/simulations/move_vm_types/values/values_impl.v b/CoqOfRust/move_sui/simulations/move_vm_types/values/values_impl.v
@@ -204,17 +204,6 @@ enum ReferenceImpl {
 }
 *)
 
-(*
-impl ReferenceImpl {
-    fn read_ref(self) -> PartialVMResult<Value> {
-        match self {
-            Self::ContainerRef(r) => r.read_ref(),
-            Self::IndexedRef(r) => r.read_ref(),
-        }
-    }
-}
-*)
-
 Module ReferenceImpl.
   Inductive t : Set :=
   | IndexedRef : IndexedRef.t -> t