diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2018-10-31 15:05:17 -0700 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2018-10-31 15:05:17 -0700 |
| commit | 7a35e38d8778670fe0662f203e82638355db3bba (patch) | |
| tree | cc9f813d1350f23d2b81a81b18f4f127668bfec9 /core/scopes.nom | |
| parent | f43d8c58f755a7f208d84b43071490ab356c5ac8 (diff) | |
Renamed (action %) -> (%'s meaning)
Diffstat (limited to 'core/scopes.nom')
| -rw-r--r-- | core/scopes.nom | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/scopes.nom b/core/scopes.nom index 715409c..2d86ca4 100644 --- a/core/scopes.nom +++ b/core/scopes.nom @@ -15,7 +15,7 @@ test: assume (%x == "outer") externally (foo) means "outer foo" - with local [action (foo)]: + with local [(foo)'s meaning]: externally (foo) means "inner foo" assume ((foo) == "inner foo") |