[taler-wallet-core] branch master updated: formatting

[gnunet]

This is an automated email from the git hooks/post-receive script.

dold pushed a commit to branch master
in repository wallet-core.

The following commit(s) were added to refs/heads/master by this push:
     new 4cbec4d5 formatting
4cbec4d5 is described below

commit 4cbec4d5fa30e486354e6c38f289f4a8855fd929
Author: Florian Dold <florian.dold@gmail.com>
AuthorDate: Fri Sep 25 17:16:22 2020 +0530

    formatting
---
 contrib/alloy/taler-sync.als | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/contrib/alloy/taler-sync.als b/contrib/alloy/taler-sync.als
index f5b36192..3f302b4a 100644
--- a/contrib/alloy/taler-sync.als
+++ b/contrib/alloy/taler-sync.als
@@ -14,8 +14,8 @@ sig SyncAccountKey { }
 
 // Abstraction of what's in a sync blob
 sig SyncBlobHeader {
-    // Access matrix, abstracts the DH
-    // suggested by Christian (https://bugs.gnunet.org/view.php?id=6077#c16959)
+       // Access matrix, abstracts the DH
+       // suggested by Christian 
(https://bugs.gnunet.org/view.php?id=6077#c16959)
        // The DH will yield the symmetric blob encryption key for the "inner 
blob"
        access: AnastasisMasterSecret -> WalletDeviceKey,
 }
@@ -29,7 +29,7 @@ sig SyncAccount {
 sig WalletState {
        device_key: WalletDeviceKey,
        anastasis_key: AnastasisMasterSecret,
-    enrolled: set SyncAccount,
+       enrolled: set SyncAccount,
 }
 
 

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.