diff options
| author | Eduardo Julian | 2022-06-15 00:23:15 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-15 00:23:15 -0400 |
| commit | 64d12f85e861cb8ab4d59c31f0f8d2b71b865852 (patch) | |
| tree | 316d17cd2aaf6e0aa9950a2678a9b10987603d5e /stdlib/source/specification | |
| parent | d5d5fcc3a85ef10081772355fc20932b387a35ab (diff) | |
Re-named "prelude_module" to "prelude".
Diffstat (limited to 'stdlib/source/specification')
| -rw-r--r-- | stdlib/source/specification/compositor/generation/case.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux index d91b8d861..c76cd5037 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -141,7 +141,7 @@ (def: special_input Synthesis (let [_cursor_ (is Synthesis - (synthesis.tuple (list (synthesis.text .prelude_module) + (synthesis.tuple (list (synthesis.text .prelude) (synthesis.i64 +901) (synthesis.i64 +13)))) _code_ (is (-> Synthesis Synthesis) @@ -175,7 +175,7 @@ (|> _end_ (_item_ (__apply__ (__symbol__ ["" "form$"]) (__list__ (list (__apply__ (__symbol__ ["" "tag$"]) - (__tuple__ (list (__text__ .prelude_module) + (__tuple__ (list (__text__ .prelude) (__text__ "Item")))) (__symbol__ ["" "export?-meta"]) (__symbol__ ["" "tail"]))))) |