diff options
| author |   Kevin Milner <kevin.milner@cs.ox.ac.uk> | 2017-07-14 12:51:30 +0100 |
|---|---|---|
| committer | Kevin Milner <kevin.milner@cs.ox.ac.uk> | 2017-07-14 12:51:30 +0100 |
| commit | a716aaa431d69384223485d07e4a1b47fd8e25b5 (patch) | |
| tree | c1884f54788b8b51b496bbd081b097d3822791e7 | |
| parent | Updated comments for additional explanations and clarity (diff) | |
| download | wireguard-tamarin-a716aaa431d69384223485d07e4a1b47fd8e25b5.tar.xz wireguard-tamarin-a716aaa431d69384223485d07e4a1b47fd8e25b5.zip | |
Fixed unhappy m4 comment
| -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 |