From da6bc4277dd300a2d9c925b017d363e63ca247a1 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Wed, 1 Mar 2023 10:19:29 +0000
Subject: [PATCH] Added new dependency: Metalogic_ProofChecker

---
 install-afp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install-afp b/install-afp
index 7cc5032..ff6eeff 100755
--- a/install-afp
+++ b/install-afp
@@ -105,7 +105,7 @@ check_isabelle_version() {
 check_afp_entries() {
     echo "* Checking availability of AFP entries:"
     missing=""
-    required="Regular-Sets Functional-Automata Physical_Quantities"
+    required="Regular-Sets Functional-Automata Physical_Quantities Metalogic_ProofChecker"
     for afp in $required; do 
         res=`$ISABELLE_TOOL build -n $afp 2>/dev/null || true`
         if [ "$res" != "" ]; then