diff --git a/scripts/lua/header_authenticated.lp b/scripts/lua/header_authenticated.lp index 8c20d9c85..e14377b0b 100644 --- a/scripts/lua/header_authenticated.lp +++ b/scripts/lua/header_authenticated.lp @@ -83,7 +83,7 @@ mg.include('header.lp','r')