diff options
| -rw-r--r-- | stdlib/source/lux/type/model.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/lux/type/model.lux b/stdlib/source/lux/type/model.lux index c4e9873d3..58b6d2fee 100644 --- a/stdlib/source/lux/type/model.lux +++ b/stdlib/source/lux/type/model.lux @@ -156,7 +156,7 @@ representation-declaration (` ((~ hidden-name) (~@ type-varsC)))] (wrap (list& (` (type: (~@ (csw;export export)) (~ model-declaration) (~ (csw;annotations annotations)) - (host (~ hidden-name)))) + (host (~ hidden-name) [(~@ type-varsC)]))) (` (type: (~@ (csw;export export)) (~ representation-declaration) (~ representation-type))) (` (install-casts (~ (code;local-symbol name)) [(~@ type-varsC)])) |