diff options
author | Eduardo Julian | 2015-05-14 08:23:10 -0400 |
---|---|---|
committer | Eduardo Julian | 2015-05-14 08:23:10 -0400 |
commit | c4ac3e692ae96d6898d8efb42faf4dfadd43f4ae (patch) | |
tree | d6d33dd608fb73cb753d412f43efcfe70a97b22e /source/program.lux | |
parent | 279598fd1d5aace000231e4e85e5f9967634ce81 (diff) |
- Removed the apparently unnecessary total-locals.
Diffstat (limited to '')
-rw-r--r-- | source/program.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/program.lux b/source/program.lux index 20f7863ab..a9451580f 100644 --- a/source/program.lux +++ b/source/program.lux @@ -1,4 +1,4 @@ -(;alias-lux) +(;lux) (def (filter p xs) (All [a] (-> (-> a Bool) (List a) (List a))) |