From 72212b998cb2cd59b6d71daffe32098b3a65c253 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 9 Jan 2021 19:23:58 +0000
Subject: [PATCH] Fixed typo.

---
 isabelle/hooks/build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isabelle/hooks/build b/isabelle/hooks/build
index 04ec78b..5723fb5 100755
--- a/isabelle/hooks/build
+++ b/isabelle/hooks/build
@@ -31,7 +31,7 @@ if [ -f ../../config ]; then
    source ../../config
 else
    CONFIG=`git rev-parse --show-toplevel`/config
-   if [ -f $CONFIG ];
+   if [ -f $CONFIG ]; then
        source $CONFIG
    fi
 fi