jquery/commit

Use new input library

authorJan Wielemaker
Thu Sep 13 15:37:57 2012 +0200
committerJan Wielemaker
Thu Sep 13 15:37:57 2012 +0200
commit76772bfb93f09b745ef12b0b4a29c9ac99b28f0a
tree2e5ff1681df4326816cf9ff8da5d37180fd7a641
parent8e2a411a2c900d7b5e1fabf8c3ed665b4694de2b
Diff style: patch stat
diff --git a/lib/jquery.pl b/lib/jquery.pl
index bb571c1..bf81c03 100644
--- a/lib/jquery.pl
+++ b/lib/jquery.pl
@@ -33,7 +33,7 @@
 	  ]).
 :- use_module(library(http/http_path), []).
 :- use_module(library(http/html_head)).
-:- use_module(library(http/dcg_basics)).
+:- use_module(library(dcg/basics)).
 :- use_module(library(pure_input)).
 
 /** <module> JQuery declarations and utilities