diff options
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux')
-rw-r--r-- | stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux index f310d43cd..55333ca42 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux @@ -1,6 +1,6 @@ (.module: [library - [lux {"-" i64 Scope} + [lux {"-" Primitive Scope i64} [abstract [monad {"+" do}] [equivalence {"+" Equivalence}] |