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

- More ansi fixes.

Browse Source
This commit is contained in:
ccremers 2004-05-26 08:52:15 +00:00
parent ada4033fbe
commit 06f2978dbe
2 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/main.c
View File

@ -523,6 +523,8 @@ MC_incTraces (const System sys)
int maxtracelen; int maxtracelen;
int tracelen; int tracelen;
int tracestep; int tracestep;
int flag;
int res;
tracestep = 3; /* what is a sensible stepping size? */ tracestep = 3; /* what is a sensible stepping size? */
maxtracelen = getMaxTraceLength (sys); maxtracelen = getMaxTraceLength (sys);
@ -530,8 +532,8 @@ MC_incTraces (const System sys)
while (tracelen > 6) /* what is a reasonable minimum? */ while (tracelen > 6) /* what is a reasonable minimum? */
tracelen -= tracestep; tracelen -= tracestep;
int flag = 1; flag = 1;
int res; res;
do do
{ {

4
src/terms.c
View File

@ -78,6 +78,8 @@ makeTermEncrypt (Term t1, Term t2)
Term Term
makeTermTuple (Term t1, Term t2) makeTermTuple (Term t1, Term t2)
{ {
Term tt;
if (t1 == NULL) if (t1 == NULL)
{ {
if (t2 == NULL) if (t2 == NULL)
@ -95,7 +97,7 @@ makeTermTuple (Term t1, Term t2)
return t1; return t1;
} }
Term tt = makeTerm (); tt = makeTerm ();
tt->type = TUPLE; tt->type = TUPLE;
tt->stype = NULL; tt->stype = NULL;
tt->left.op1 = t1; tt->left.op1 = t1;