# HG changeset patch
# User laurent
# Date 1324072104 -3600
# Node ID b67536e93c11fe4b43e4fffb926c0735969e939e
# Parent  9c133d675b691a63c93de3f6aa3211a104a474ee
Fixing bug while searching into documentation element

diff -r 9c133d675b69 -r b67536e93c11 plcopen/plcopen.py
--- a/plcopen/plcopen.py	Fri Dec 16 22:47:41 2011 +0100
+++ b/plcopen/plcopen.py	Fri Dec 16 22:48:24 2011 +0100
@@ -1006,7 +1006,7 @@
             search_result.extend(_Search([("initial", initial.getvalue())], criteria, parent_infos))
         doc = self.getdocumentation()
         if doc is not None:
-            search_result.extend(doc.Search(criterias, parent_infos + ["documentation"]))
+            search_result.extend(doc.Search(criteria, parent_infos + ["documentation"]))
         return search_result
     setattr(cls, "Search", Search)