Add deactivate-allocation to coin.pact

Author: edmundnoble

pact/coin-contract/coin.pact

@@ -645,6 +645,22 @@
         , "redeemed" : false
         })))
 
+  (defun deactivate-allocation
+    ( account:string )
+
+    @doc "Deactivate allocation ACCOUNT."
+
+    @model [ (property (valid-account account)) ]
+
+    (require-capability (COINBASE))
+
+    (validate-account account)
+
+    (update allocation-table account
+      { "redeemed" : true
+      })
+  )
+
   (defun release-allocation
     ( account:string )
 

pact/coin-contract/coin.repl

@@ -27,7 +27,7 @@
 (env-gaslog)
 (expect
   "Gas cost of loading coin contract"
-  66828
+  66930
   (env-gas))
 
 (create-table coin.coin-table)

pact/pact5/coin-contract/coin.repl

@@ -27,7 +27,7 @@
 (env-gaslog)
 (expect
   "Gas cost of loading coin contract"
-  21181
+  21520
   (env-gas))
 
 (create-table coin.coin-table)