From 1f8d93cd9f92ff1f9f524abde7f67cbc8ad86410 Mon Sep 17 00:00:00 2001
From: Michael Heuer <michael.heuer@rwth-aachen.de>
Date: Fri, 8 Nov 2024 18:57:28 +0100
Subject: [PATCH] refactor: deletion criteria

---
 Anoma/Transaction/AppData.juvix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Anoma/Transaction/AppData.juvix b/Anoma/Transaction/AppData.juvix
index ded8669..ad170d7 100644
--- 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;.