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 c97855e..aaefc08 100644 --- a/backend/Locations.v +++ b/backend/Locations.v @@ -434,7 +434,7 @@ End Loc. (** The [Locmap] module defines mappings from locations to values, used as evaluation environments for the semantics of the [LTL] - and [Linear] intermediate languages. *) + and [LTLin] intermediate languages. *) Set Implicit Arguments. |