Added priority to return rule.

Pi-Squared-Inc · Sep 13, 2024 · 5bc7120 · 5bc7120
1 parent b8d3e5e
commit 5bc7120
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/statement.md b/src/statement.md
@@ -35,7 +35,7 @@ module SOLIDITY-STATEMENT
 
   rule <k> return V:TypedVal ; ~> _ => V ~> K </k>
        <env> _ => E </env>
-       <call-stack>... ListItem(frame(K, E)) => .List </call-stack>
+       <call-stack>... ListItem(frame(K, E)) => .List </call-stack> [owise]
 
   // variable declaration
   rule <k> LT:TypeName X:Id = v(V, RT) ; => .K ...</k>