operator_run.mustache in tla-sbuilder-0.2.1

- old
+ new

@@ -3,5 +3,7 @@
 \* RunProcessRunning( stepdefs ) ==  { e.process : e \in Head( stepdefs ) }
 RunProcessRunning( stepdefs ) ==  (CHOOSE s \in Head( stepdefs ): TRUE ).process
 RunProcessEnabled( stepdefs, s ) == Len( stepdefs ) # 0 /\ s =  RunProcessRunning( stepdefs )
 RunProcessesToRun( stepdefs ) == Tail( stepdefs )
 RunProcessParameter( stepdefs ) == Head( stepdefs )
+
+RunInTransaction == tx_running                   \* state variable tx_running records transaction state