From 4cbec4d5fa30e486354e6c38f289f4a8855fd929 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Fri, 25 Sep 2020 17:16:22 +0530
Subject: [PATCH] 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 f5b361926..3f302b4ad 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,
 }