diff --git a/queries.lp b/queries.lp index 05354259..9a39b47a 100644 --- a/queries.lp +++ b/queries.lp @@ -72,7 +72,7 @@ mg.include('scripts/lua/header_authenticated.lp','r')
- + @@ -80,7 +80,7 @@ mg.include('scripts/lua/header_authenticated.lp','r')
- + @@ -88,7 +88,7 @@ mg.include('scripts/lua/header_authenticated.lp','r')
- + @@ -96,7 +96,7 @@ mg.include('scripts/lua/header_authenticated.lp','r')
- + @@ -138,6 +138,7 @@ mg.include('scripts/lua/header_authenticated.lp','r')