diff options
Diffstat (limited to 'backend/Locations.v')
-rw-r--r-- | backend/Locations.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/Locations.v b/backend/Locations.v index 2f2dae84..f7fb6078 100644 --- a/backend/Locations.v +++ b/backend/Locations.v @@ -273,7 +273,7 @@ End Loc. (** The [Locmap] module defines mappings from locations to values, used as evaluation environments for the semantics of the [LTL] - and [LTLin] intermediate languages. *) + and [Linear] intermediate languages. *) Set Implicit Arguments. |