[lsd0003] 01/02: Fixed some more

[gnunet]

This is an automated email from the git hooks/post-receive script.

elias-summermatter pushed a commit to branch master
in repository lsd0003.

commit d00369fa42b15a6c49d3722773d3f3995326b17a
Author: Elias Summermatter <elias.summermatter@seccom.ch>
AuthorDate: Tue Jun 15 09:18:47 2021 +0200

    Fixed some more
---
 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
index 55b3c8e..dcecd87 100644
--- 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.

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.