archive property example uses propinfovector

diff --git a/doc/tutorial/ginac.texi b/doc/tutorial/ginac.texi
index 825083c76f38405a96bcda3adfb251de4e2d2740..8c060cfba62eb2dfa6caffd26421b0ccfad83c2a 100644 (file)
--- a/doc/tutorial/ginac.texi
+++ b/doc/tutorial/ginac.texi
@@ -2992,7 +2992,7 @@ static void my_print2(const archive_node & n)
     n.find_string("class", class_name);
     cout << class_name << "(";
 
-    vector<archive_node::property_info> p;
+    archive_node::propinfovector p;
     n.get_properties(p);
 
     unsigned num = p.size();