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

- Fixed wrong comment.

Browse Source
This commit is contained in:
ccremers 2004-08-11 08:20:22 +00:00
parent 742a65bac1
commit 0008b58739
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/modelchecker.c
View File

@ -451,7 +451,7 @@ explorify (const System sys, const int run)
} }
} }
/* Special check 3: if after choosing, this run ends on (read|skippedclaim)*, we can remove that part already. /* Special check 3: if after choosing, this run is untrusted and ends on (read|skippedclaim)*, we can remove that part already.
*/ */
if (sys->switchReduceEndgame && roleCap == NULL) if (sys->switchReduceEndgame && roleCap == NULL)