refactor: deletion criteria

anoma · Nov 8, 2024 · 1f8d93c · 1f8d93c
1 parent ad3144b
commit 1f8d93c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Anoma/Transaction/AppData.juvix b/Anoma/Transaction/AppData.juvix
@@ -13,7 +13,7 @@ type DeletionCriterion :=
   | AfterTimestamp MISSING_DEFINITION
   | AfterSignatureOverData MISSING_DEFINITION
   | AfterPredicates MISSING_DEFINITION
-  | StoreForever MISSING_DEFINITION;
+  | StoreForever;
 
 --- A data type encoding the lookup key of application.
 --- TODO Add an equivalent to `anomaEncode` and `anomaDecode` to be able to change this to ;ByteArray;.