From 1768b4abeaafaa08b494b231cdb4fe46aebc2e67 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Tue, 18 May 2004 20:41:51 +0000
Subject: [PATCH] - Remove {( )} inner brackets in LaTeX output.

---
 src/todo.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/todo.txt b/src/todo.txt
index b389c34..0e5d4a3 100644
--- a/src/todo.txt
+++ b/src/todo.txt
@@ -1,3 +1,4 @@
+- Latex output has {( )} constructs: remove inner brackets.
 - Move initial intruder knowledge maybe into the title of the MSC.
 - Move time things to stderr instead of latex, does not belong in attack
   output.