diff --git a/pl/boot.yap b/pl/boot.yap index d16a9438c..98f22c722 100644 --- a/pl/boot.yap +++ b/pl/boot.yap @@ -252,7 +252,8 @@ true :- true. MYDDASVersionName \== [], print_message(help, myddas_version(MYDDASVersionName)), fail. - '$version' :- recorded('$version',VersionName,_), + '$version' :- + recorded('$version',VersionName,_), print_message(help, VersionName), fail. '$version'.