lsd0003

commit d00369fa42b15a6c49d3722773d3f3995326b17a
parent 496db3244dfa0b7ea14acabcb1115fb1382b250b
Author: Elias Summermatter <elias.summermatter@seccom.ch>
Date:   Tue, 15 Jun 2021 09:18:47 +0200

Fixed some more

Diffstat:
M
draft-summermatter-set-union.xml
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/draft-summermatter-set-union.xml b/draft-summermatter-set-union.xml
@@ -2785,7 +2785,7 @@ FUNCTION END
 # Returns TRUE if full synchronisation is plausible and FALSE otherwise
 
 FUNCTION full_sync_plausibility_check (state,rs,lis,rd,rf)
-    security_level_lb = 1 / SECURITY_LEVEL
+    security_level_lb = -1 * SECURITY_LEVEL
 
     # Make sure that no element is received double when
     # all elements already are transmitted to the oder side.