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

- Debug info should be encapsulated.

Browse Source
This commit is contained in:
ccremers 2004-08-18 20:22:55 +00:00
parent 85ac32fbd1
commit c929fa6ea3
1 changed files with 10 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/compiler.c
View File

@ -852,12 +852,17 @@ compute_role_variables (const System sys, Protocol p, Role r)
roledef_iterate_events (r->roledef, process_event); roledef_iterate_events (r->roledef, process_event);
r->variables = tl; r->variables = tl;
#ifdef DEBUG
if (DEBUGL (5))
{
eprintf ("All variables for role "); eprintf ("All variables for role ");
termPrint (r->nameterm); termPrint (r->nameterm);
eprintf (" are "); eprintf (" are ");
termlistPrint (tl); termlistPrint (tl);
eprintf ("\n"); eprintf ("\n");
} }
#endif
}
} }
//! Compute prec() sets for each claim. //! Compute prec() sets for each claim.