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 825083c..8c060cf 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();