Index: library/lib/xotcl1.xotcl
===================================================================
diff -u -r1a2ed9fd48d2c4326e27378a9a8accae1c008bad -r90358010d417481db6164f879f01b41e789f09f7
--- library/lib/xotcl1.xotcl	(.../xotcl1.xotcl)	(revision 1a2ed9fd48d2c4326e27378a9a8accae1c008bad)
+++ library/lib/xotcl1.xotcl	(.../xotcl1.xotcl)	(revision 90358010d417481db6164f879f01b41e789f09f7)
@@ -248,8 +248,8 @@
     .method instbody    {o methodName} {
       lindex [::xotcl::cmd::ClassInfo::method $o definition $methodName] end
     }
-    .method instpre     {o methodName} {::xotcl::cmd::ClassInfo::method $o pre $methodName}
-    .method instpost    {o methodName} {::xotcl::cmd::ClassInfo::method $o post $methodName}
+    .method instpre     {o methodName} {::xotcl::cmd::ClassInfo::method $o precondition  $methodName}
+    .method instpost    {o methodName} {::xotcl::cmd::ClassInfo::method $o postcondition $methodName}
 
     # info options emulated by "info methods"
     .method instcommands {o {pattern:optional ""}} {