yui3/commit

remove redundant style check

authorJacco van Ossenbruggen
Wed Jan 28 14:30:59 2015 +0100
committerJacco van Ossenbruggen
Wed Jan 28 14:30:59 2015 +0100
commite403f2939bab5531cc2b46cfe1290811c5f51720
tree5325ce6efb4c03d919b8b85b90f3c8f9bb2ea408
parentcd6cc2f3c3ec201f46f43dbbe15949698ced3129
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(+, -, +),