summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKevin Milner <kevin.milner@cs.ox.ac.uk>2017-07-14 12:51:30 +0100
committerKevin Milner <kevin.milner@cs.ox.ac.uk>2017-07-14 12:51:30 +0100
commita716aaa431d69384223485d07e4a1b47fd8e25b5 (patch)
treec1884f54788b8b51b496bbd081b097d3822791e7
parentUpdated comments for additional explanations and clarity (diff)
downloadwireguard-tamarin-a716aaa431d69384223485d07e4a1b47fd8e25b5.tar.xz
wireguard-tamarin-a716aaa431d69384223485d07e4a1b47fd8e25b5.zip
Fixed unhappy m4 comment
-rw-r--r--wireguard.m43
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