Updated message, following c29ec9641a

2022-12-01 12:44:03 +01:00 · 2022-12-01 12:44:03 +01:00 · 44819bff02
parent a6ab1e101e
commit 44819bff02
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -157,7 +157,7 @@ if [ ${ISABELLE_VERSION} = "Isabelle" ];
 then
   echo "Error: cannot find Isabelle/DOF configuration, please check that you"
   echo "       registered Isabelle/DOF as an Isabelle component, e.g., using" 
-   echo "       isabelle components -u $PWD"
+   echo "       isabelle components -u ."
   exit 1
 fi