(m)

AHartNtkn · jonaprieto · commit eb7fadb708dc · 2024-12-23T00:40:15.000-05:00
diff --git a/docs/arch/system/state/resource_machine/notes/function_formats/transactionfunction.juvix.md b/docs/arch/system/state/resource_machine/notes/function_formats/transactionfunction.juvix.md
@@ -4,7 +4,6 @@ import prelude open;
 ```
 
 ```juvix
--- mođule TransactionFunction; -- probably we should simply erase this line
 trait
 type TransactionFunction (prog addr val gas idx tx : Type) :=
   mkTransactionFunction@{
