archive property example uses propinfovector
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Tue, 10 Apr 2001 23:04:24 +0000 (23:04 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Tue, 10 Apr 2001 23:04:24 +0000 (23:04 +0000)
doc/tutorial/ginac.texi

index 825083c76f38405a96bcda3adfb251de4e2d2740..8c060cfba62eb2dfa6caffd26421b0ccfad83c2a 100644 (file)
@@ -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();