fix spec formatting

plasma-group · Mar 25, 2019 · 96422ba · 96422ba
1 parent db4aaaf
commit 96422ba
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/packages/docs/src/pg/src/specs/generalized-plasma-state.rst b/packages/docs/src/pg/src/specs/generalized-plasma-state.rst
@@ -120,12 +120,12 @@ Generalized Plasma State Spec
              - ``newStateUpdate: stateUpdate``
              - ``newUpdateWitness: stateUpdateWitness``
              - ``signature: signature``
-         - ``public function verifyDeprecation(stateID: uint, update: stateUpdate, revocationWitness: bytes):
-                assert verifyUpdate(deprecationWitness.newStateUpdate, revocationWitness.newUpdateWitness)
-                assert verifySignature(revocationWitness.newStateUpdate, signature) = update.state.owner``
-         - ``public function finalizeExit(exit: exit):
-               redeemedAmount: uint = exit.end - exit.start #length of sequential stateIDs claimed
-               ERC20.transferFrom(self.address, exit.update.state.owner, )``
+         - ``public function verifyDeprecation(stateID: uint, update: stateUpdate, revocationWitness: bytes):``
+                ``assert verifyUpdate(deprecationWitness.newStateUpdate, revocationWitness.newUpdateWitness)``
+                ``assert verifySignature(revocationWitness.newStateUpdate, signature) = update.state.owner``
+         - ``public function finalizeExit(exit: exit):``
+               ``redeemedAmount: uint = exit.end - exit.start #length of sequential stateIDs claimed``
+               ``ERC20.transferFrom(self.address, exit.update.state.owner, )``
          - ``public function canInitiateExit(update: stateUpdate, initiationWitness: bytes):
               assert tx.sender = commitment.state.parameters.owner``
      - Multisig