diff --git a/scripts/lua/header_authenticated.lp b/scripts/lua/header_authenticated.lp index 8ca2ce2c..40cd0054 100644 --- a/scripts/lua/header_authenticated.lp +++ b/scripts/lua/header_authenticated.lp @@ -43,7 +43,7 @@ mg.include('header.lp','r')