diff options
Diffstat (limited to 'draft-summermatter-set-union.xml')
-rw-r--r-- | draft-summermatter-set-union.xml | 2 |
1 files changed, 1 insertions, 1 deletions
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 | |||
2785 | # Returns TRUE if full synchronisation is plausible and FALSE otherwise | 2785 | # Returns TRUE if full synchronisation is plausible and FALSE otherwise |
2786 | 2786 | ||
2787 | FUNCTION full_sync_plausibility_check (state,rs,lis,rd,rf) | 2787 | FUNCTION full_sync_plausibility_check (state,rs,lis,rd,rf) |
2788 | security_level_lb = 1 / SECURITY_LEVEL | 2788 | security_level_lb = -1 * SECURITY_LEVEL |
2789 | 2789 | ||
2790 | # Make sure that no element is received double when | 2790 | # Make sure that no element is received double when |
2791 | # all elements already are transmitted to the oder side. | 2791 | # all elements already are transmitted to the oder side. |