Forgot to update comment

0LNetworkCommunity · Nov 21, 2024 · 47baa5b · 47baa5b
1 parent aeeee43
commit 47baa5b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/framework/libra-framework/sources/ol_sources/vouch.spec.move b/framework/libra-framework/sources/ol_sources/vouch.spec.move
@@ -15,7 +15,7 @@ spec ol_framework::vouch {
             len(global<ReceivedVouches>(addr).epoch_vouched);
     }
 
-    // Previous specs remain the same...
+
 
     spec true_friends(addr: address): vector<address> {
         pragma aborts_if_is_partial = true;