lclint-interest message 185

From evs Thu Feb  5 20:58:36 1998
Date: Thu, 5 Feb 98 19:56:18 -0500
From: evs (David Evans)
To: davidv@hsa.com.au
Cc: lclint-interest@larch.lcs.mit.edu
In-Reply-To: David A Vincent's message of 06 Feb 1998 10:23:04 +1100 
Subject: systemState anomaly


The documentation is buggy --- it should read "fileSystem" not
"systemState".  ("systemState" would actually be a better name, since it
isn't limited to the file system.)

void foo(void) /*@globals fileSystem; @*/ ;

should do what you want.

--- Dave