find_resource/commit

PLDOC: fixed doc for find_resource_by_name/3

authorJacco van Ossenbruggen
Fri Aug 22 12:13:38 2014 +0200
committerJacco van Ossenbruggen
Fri Aug 22 12:13:38 2014 +0200
commitb6b957eafe709674b7b3da9d8e5060bfaa886991
tree0bdf5abc4827b74245df0fedb253a9f87eb5f2e2
parent4e9b5e394462cd1e6ca6f0cf3ff4da499c47ee18
Diff style: patch stat
diff --git a/lib/find_resource.pl b/lib/find_resource.pl
index be56ba0..252b576 100644
--- a/lib/find_resource.pl
+++ b/lib/find_resource.pl
@@ -12,7 +12,7 @@
 :- rdf_find_literals(zzz,_).
 
 
-%%	find_resource_by_name(+Name:atom, +Attributes:list(P-D),
+%%	find_resource_by_name(+Name:atom,
 %%             -Hit:hit(Distance:nonneg,Hit:atom,Prop:atom,Label:atom),
 %%             +Options)  is nondet.
 %