taler-typescript-core

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

formatting

Diffstat:
M
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
@@ -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,
 }