andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Reran GNU indent.

Browse Source
This commit is contained in:
ccremers 2004-05-12 15:19:40 +00:00
parent 06105d8d63
commit 5bcd5d01ac
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/latex.c
View File

@ -258,7 +258,7 @@ latexMSCStart (Termlist protocolnames)
printf ("\\begin{landscape}\n"); printf ("\\begin{landscape}\n");
printf ("\\begin{msc}{attack on $"); printf ("\\begin{msc}{attack on $");
termlistPrint(protocolnames); termlistPrint (protocolnames);
printf ("$}\n"); printf ("$}\n");
} }
@ -651,7 +651,7 @@ knowledgePrintLatex (Knowledge know)
else else
{ {
tl = knowledgeSet (know); tl = knowledgeSet (know);
latexTermlistPrint (tl,NULL); latexTermlistPrint (tl, NULL);
termlistDelete (tl); termlistDelete (tl);
} }
} }
@ -891,9 +891,9 @@ attackDisplayLatex (System sys)
if (runPosition[i] > 0) if (runPosition[i] > 0)
{ {
pname = sys->runs[i].protocol->nameterm; pname = sys->runs[i].protocol->nameterm;
if (!inTermlist(protocolnames, pname)) if (!inTermlist (protocolnames, pname))
{ {
protocolnames = termlistAppend(protocolnames, pname); protocolnames = termlistAppend (protocolnames, pname);
} }
} }
} }
@ -908,8 +908,8 @@ attackDisplayLatex (System sys)
latexDeclInst (sys, i); latexDeclInst (sys, i);
} }
/* Add the intruder instance */ /* Add the intruder instance */
printf("\\declinst{eve}{Eve}{Intruder}\n"); printf ("\\declinst{eve}{Eve}{Intruder}\n");
printf("\n\n"); printf ("\n\n");
/* Print the initial intruder knowledge */ /* Print the initial intruder knowledge */
@ -974,7 +974,7 @@ attackDisplayLatex (System sys)
printf ("$}{eve}\n"); printf ("$}{eve}\n");
printf ("\\nextlevel[1]\n"); printf ("\\nextlevel[1]\n");
} }
termlistDelete (highlights); termlistDelete (highlights);
break; break;