T191: Implement prototype for new retype

[barrelfish] / include / barrelfish_kpi / capabilities.h

diff --git a/include/barrelfish_kpi/capabilities.h b/include/barrelfish_kpi/capabilities.h
index 05272cd..ffe4eb7 100644 (file)
--- a/include/barrelfish_kpi/capabilities.h
+++ b/include/barrelfish_kpi/capabilities.h
@@ -244,6 +244,7 @@ enum cnode_cmd {
     CNodeCmd_Copy,      ///< Copy capability
     CNodeCmd_Mint,      ///< Mint capability
     CNodeCmd_Retype,    ///< Retype capability
+    CNodeCmd_Retype2,    ///< Retype capability
     CNodeCmd_Delete,    ///< Delete capability
     CNodeCmd_Revoke,    ///< Revoke capability
     CNodeCmd_Create,    ///< Create capability