From adb3d2aa3f62812a2becd5c2f6700d69eb1c5134 Mon Sep 17 00:00:00 2001
From: Murat Demirbas <mudemirb@amazon.com>
Date: Sat, 5 Aug 2023 16:39:14 -0400
Subject: [PATCH] Added Pluscal version of the key-value store with snapshot
 isolation, instantiated clientcentric checking to model check for snapshot
 isolation properly, added LICENSE for clientcentric module and modified the
 manifest

Signed-off-by: Murat Demirbas <mudemirb@amazon.com>
---
 manifest.json | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/manifest.json b/manifest.json
index 08459533..8bb3a6fe 100644
--- a/manifest.json
+++ b/manifest.json
@@ -533,7 +533,9 @@
         },
         {
           "path": "specifications/KeyValueStore/Util.tla",
-          "communityDependencies": [],
+          "communityDependencies": [
+            "Functions"
+          ],
           "tlaLanguageVersion": 2,
           "features": [],
           "models": []