style: formatting

anoma · Nov 12, 2024 · 5f2d1ff · 5f2d1ff
1 parent 27de057
commit 5f2d1ff
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/HelloWorld/Interface/Transaction.juvix b/HelloWorld/Interface/Transaction.juvix
@@ -41,7 +41,6 @@ helloWorldIntent
         };
   };
 
-
 prepareTransaction
   (standardInputs : StandardInputs)
   (consumed created : Set Resource)

diff --git a/HelloWorld/Resource.juvix b/HelloWorld/Resource.juvix
@@ -8,7 +8,6 @@ import Applib.Authorization.Check open public;
 import Applib.Authorization.Check open public;
 import Applib.Authorization.Message open public;
 
-
 logic (publicInputs : Logic.Instance) (privateInputs : Logic.Witness) : Bool :=
   let
     tag := Logic.Instance.tag publicInputs;
@@ -57,4 +56,3 @@ mkWorldResource (owner : ExternalIdentity) (nonce : Nonce) : Resource :=
     owner;
     nonce;
   };
-
-Original file line number
+Diff line change
@@ Expand Up / @@ -41,7 +41,6 @@ helloWorldIntent @@
             };
       };
     prepareTransaction
       (standardInputs : StandardInputs)
       (consumed created : Set Resource)
@@ Expand Down @@