diff --git a/queries.lp b/queries.lp index 9a39b47a..0c39d536 100644 --- a/queries.lp +++ b/queries.lp @@ -138,7 +138,7 @@ mg.include('scripts/lua/header_authenticated.lp','r')