diff --git a/scripts/lua/header_authenticated.lp b/scripts/lua/header_authenticated.lp index 22db44ae..6793a5a6 100644 --- a/scripts/lua/header_authenticated.lp +++ b/scripts/lua/header_authenticated.lp @@ -54,12 +54,14 @@ mg.include('header.lp','r')