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

- Stupid layout fix.

Browse Source
This commit is contained in:
ccremers 2004-08-13 10:52:20 +00:00
parent 54d857ca3c
commit 43caf1707e
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/arachne.c
View File

@ -243,8 +243,9 @@ bind_existing_run (const Goal goal, const Protocol p, const Role r,
e_run = run; e_run = run;
e_term1 = goal.rd->message; e_term1 = goal.rd->message;
#endif #endif
flag = flag flag = (flag
&& termMguInTerm (goal.rd->message, rd->message, mgu_iterate); && termMguInTerm (goal.rd->message, rd->message,
mgu_iterate));
sys->runs[run].length = old_length; sys->runs[run].length = old_length;
} }
} }
@ -433,8 +434,8 @@ bind_intruder_to_regular (const Goal goal)
* in both branches * in both branches
*@todo FIX!! *@todo FIX!!
*/ */
flag = bind_existing_run (goal, p, r, index) flag = (bind_existing_run (goal, p, r, index)
&& bind_new_run (goal, p, r, index); && bind_new_run (goal, p, r, index));
/** /**
* deconstruct key list goals * deconstruct key list goals