Index: generic/gentclAPI.decls
===================================================================
diff -u -r761c9758221eb84b88a328e659523c4773aa5dfe -r7efafd7b19c58bf0f5ac486779e8ce778e60c9bb
--- generic/gentclAPI.decls	(.../gentclAPI.decls)	(revision 761c9758221eb84b88a328e659523c4773aa5dfe)
+++ generic/gentclAPI.decls	(.../gentclAPI.decls)	(revision 7efafd7b19c58bf0f5ac486779e8ce778e60c9bb)
@@ -32,7 +32,7 @@
 }
 
 xotclCmd configure XOTclConfigureCmd {
-  {-argName "configureoption" -required 1 -type "filter|softrecreate|objectsystems|keepinitcmd"}
+  {-argName "configureoption" -required 1 -type "filter|softrecreate|objectsystems|keepinitcmd|checkresult"}
   {-argName "value" -required 0 -type tclobj}
 }
 xotclCmd createobjectsystem XOTclCreateObjectSystemCmd {