From 0008b58739f06b9a68ba165c9ec6041d5a6b335e Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 11 Aug 2004 08:20:22 +0000 Subject: [PATCH] - Fixed wrong comment. --- src/modelchecker.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/modelchecker.c b/src/modelchecker.c index 7317213..1c12db9 100644 --- a/src/modelchecker.c +++ b/src/modelchecker.c @@ -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)