diff --git a/aptos-move/framework/supra-framework/sources/reconfiguration.spec.move b/aptos-move/framework/supra-framework/sources/reconfiguration.spec.move
index 734b8eb4590af..4d190b62f95cd 100644
--- a/aptos-move/framework/supra-framework/sources/reconfiguration.spec.move
+++ b/aptos-move/framework/supra-framework/sources/reconfiguration.spec.move
@@ -113,9 +113,8 @@ spec supra_framework::reconfiguration {
     /// Should equal to 0
     spec emit_genesis_reconfiguration_event {
         use supra_framework::reconfiguration::{Configuration};
-        // TODO remove aborts_if_is_partial after the property proved
-        pragma aborts_if_is_partial;
         aborts_if !exists<Configuration>(@supra_framework);
+        aborts_if !exists<timestamp::CurrentTimeMicroseconds>(@supra_framework);
         let config_ref = global<Configuration>(@supra_framework);
         aborts_if !(config_ref.epoch == 0 && config_ref.last_reconfiguration_time == 0);
         ensures global<Configuration>(@supra_framework).epoch == 1;