From 85ce9664ddba79c28a6945b1e5b4e2b71f77cb51 Mon Sep 17 00:00:00 2001
From: Christian Bauer <Christian.Bauer@uni-mainz.de>
Date: Tue, 10 Apr 2001 23:04:24 +0000
Subject: [PATCH] archive property example uses propinfovector

---
 doc/tutorial/ginac.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/tutorial/ginac.texi b/doc/tutorial/ginac.texi
index 825083c7..8c060cfb 100644
--- 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();
-- 
2.44.0