From a716aaa431d69384223485d07e4a1b47fd8e25b5 Mon Sep 17 00:00:00 2001 From: Kevin Milner Date: Fri, 14 Jul 2017 12:51:30 +0100 Subject: Fixed unhappy m4 comment --- wireguard.m4 | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- cgit v1.2.3-59-g8ed1b