Fixed typo.

2021-01-09 19:23:58 +00:00 · 2021-01-09 19:23:58 +00:00 · 72212b998c
parent bd83a9f241
commit 72212b998c
1 changed files with 1 additions and 1 deletions
--- 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