fix

IntersectMBO · Nov 24, 2020 · 3ff7872 · 3ff7872
1 parent 60d444b
commit 3ff7872
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/marlowe-actus-theory/src/Language/Marlowe/ACTUS/Agda/GenStateTransition.hs b/marlowe-actus-theory/src/Language/Marlowe/ACTUS/Agda/GenStateTransition.hs
@@ -40,7 +40,8 @@ previousState =
     } where
         genAccessor varName =
             Paren NoRange $ App NoRange (Ident $ QName $ quickname ("ContractState." ++ varName)) (defaultNamedArg $ ident "st")
-        quickname op = Name NoRange NotInScope $ (Id op) :| []        
+        quickname op = Name NoRange NotInScope $ (Id op) :| []
+
 -- for every state variable - we generate specialised state transition function
 genStateTransitionsForStateVariables :: (ContractStatePoly Expr Expr) -> String -> String -> [String] -> [String] -> [Declaration]
 genStateTransitionsForStateVariables nextState functionName param1 params types =