From af146bcdc00b053fe1758bea998e629a729ffbf9 Mon Sep 17 00:00:00 2001 From: Mirko Sertic Date: Thu, 20 Jun 2019 19:36:53 +0200 Subject: [PATCH] Fixed a typo --- proposals/Exceptions.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/proposals/Exceptions.md b/proposals/Exceptions.md index 79158739..79e6d9fd 100644 --- a/proposals/Exceptions.md +++ b/proposals/Exceptions.md @@ -319,7 +319,7 @@ import and event sections. Thus, the index space starts at zero with imported events, followed by internally-defined events in the [event section](#event-section). -The event index space defines the (module) static version of runtine event tags. +The event index space defines the (module) static version of runtime event tags. For event indices that are not imported/exported, the corresponding event tag is guaranteed to be unique over all loaded modules. Events that are imported or exported alias the respective events defined elsewhere, and use the same tag.