Skip to content

Commit

Permalink
Update index.html
Browse files Browse the repository at this point in the history
  • Loading branch information
fornaran authored Oct 25, 2024
1 parent de0bbae commit c47d91c
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions formal-semantics/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -686,7 +686,7 @@ <h4>Example of a conditioned permission</h4>
<td>active</td>
<td>not set</td>
<td>inactive</td>
<td>deny the attempted action</td>
<td>deny the performed action</td>
</tr>
<tr>
<td>E22-4</td>
Expand All @@ -698,7 +698,7 @@ <h4>Example of a conditioned permission</h4>
<td>active</td>
<td>fulfilled</td>
<td>active</td>
<td>permit the attempted action</td>
<td>permit the performed action</td>
</tr>
</table>

Expand Down

0 comments on commit c47d91c

Please sign in to comment.