diff options
-rw-r--r-- | wireguard.m4 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/wireguard.m4 b/wireguard.m4 index 83046a2..a286b77 100644 --- a/wireguard.m4 +++ b/wireguard.m4 @@ -33,7 +33,8 @@ restriction Eq_testing: "All x y #i. Eq(x, y) @ i ==> x = y" /* === m4 Definitions === * These are mostly used to influence Tamarin's heuristics. They can be - * commented out by prefixing them with 'dnl'. */ + * commented out by prefixing them with 'dnl'. + */ /* Uncomment these to prevent any adversary message modifications, * useful for checking exists-trace lemmas and making sure messsages |