diff options
Diffstat (limited to 'stdlib/source/library/lux/world/file/watch.lux')
| -rw-r--r-- | stdlib/source/library/lux/world/file/watch.lux | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/world/file/watch.lux b/stdlib/source/library/lux/world/file/watch.lux index 89abd42b1..8e727668d 100644 --- a/stdlib/source/library/lux/world/file/watch.lux +++ b/stdlib/source/library/lux/world/file/watch.lux @@ -27,9 +27,10 @@ [number ["n" nat]]] [meta - ["@" target] [type - ["[0]" nominal (.only representation abstraction)]]] + ["[0]" nominal (.only representation abstraction)]] + [compiler + ["@" target]]] [world [time ["[0]" instant (.only Instant) (.use "[1]#[0]" equivalence)]]]]] |