From ed864086c8c5aa38a686f487577c28969a620b91 Mon Sep 17 00:00:00 2001
From: Siddharth Suresh <siddharth@stellar.org>
Date: Wed, 4 May 2022 16:05:17 -0700
Subject: [PATCH] CAP-0047 - fix bugs (#1189)

---
 core/cap-0047.md | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/core/cap-0047.md b/core/cap-0047.md
index 991bd0b95..3b51f856f 100644
--- a/core/cap-0047.md
+++ b/core/cap-0047.md
@@ -90,7 +90,6 @@ enum ContractAuthFlags
 */
 struct CreateContractOp
 {
-    int64 contractID;
     ContractMetadata metadata;
     ContractBody body;
 };
@@ -131,6 +130,13 @@ enum LedgerHeaderFlags
 };
 
 struct ContractCodeEntry {
+    union switch (int v)
+    {
+    case 0:
+        void;
+    }
+    ext;
+
     AccountID owner;
     int64 contractID;
     uint32 authFlags;
@@ -146,8 +152,9 @@ struct ContractCodeEntry {
 
 ### Operations
 
-`CreateContractOp` will create a new contract. By default, the contract will be
-enabled without any flags set, which means it is mutable.
+`CreateContractOp` will create a new `ContractCodeEntry`, and assign it a unique
+contractID. By default, the contract will be enabled without any flags set,
+which means it is mutable.
 
 `UpdateContractOp` will modify an existing contract. All parameters except the
 contractID are optional. contractAuthFlags will update the flags on the contract