diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/net/nodenet.cil | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/src/net/nodenet.cil b/src/net/nodenet.cil index 03801a7..e530aad 100644 --- a/src/net/nodenet.cil +++ b/src/net/nodenet.cil @@ -26,13 +26,11 @@ (in mcs - (mlsconstrain (node (sendto)) + (mlsconstrain (node (recvfrom sendto)) (or (dom h1 h2) - (neq t1 constrained.typeattr))) - - (mlsconstrain (node (recvfrom)) - (or (dom l1 l2) - (neq t1 constrained.typeattr)))) + (and + (neq t1 constrained.typeattr) + (neq t2 constrained.typeattr))))) (in net |