yui3/commit
remove redundant style check
author | Jacco van Ossenbruggen |
---|---|
Wed Jan 28 14:30:59 2015 +0100 | |
committer | Jacco van Ossenbruggen |
Wed Jan 28 14:30:59 2015 +0100 | |
commit | e403f2939bab5531cc2b46cfe1290811c5f51720 |
tree | 5325ce6efb4c03d919b8b85b90f3c8f9bb2ea408 |
parent | cd6cc2f3c3ec201f46f43dbbe15949698ced3129 |
Diff style: patch stat
diff --git a/lib/yui3_beta.pl b/lib/yui3_beta.pl index 12ec78435e..f2991916d4 100644 --- a/lib/yui3_beta.pl +++ b/lib/yui3_beta.pl @@ -23,8 +23,6 @@ :- use_module(library(http/html_head)). :- use_module(library(http/http_path)). -:- style_check(-atom). - :- meta_predicate yui3(+, +, :, -, +), yui3_select(+, -, +),