diff options
author | Eduardo Julian | 2017-05-29 22:01:12 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-05-29 22:01:12 -0400 |
commit | 9ca82858b0e15800972ca7b2a776190a8d4b371c (patch) | |
tree | 806e253f0c7c218ceae1f32c8157b91dc3dd5242 /stdlib/test | |
parent | 76d520507cf352181f8e9705497bd99a925213ad (diff) |
- Small refactorings.
Diffstat (limited to 'stdlib/test')
-rw-r--r-- | stdlib/test/test/lux/type.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/test/test/lux/type.lux b/stdlib/test/test/lux/type.lux index e0087960f..543484bb8 100644 --- a/stdlib/test/test/lux/type.lux +++ b/stdlib/test/test/lux/type.lux @@ -149,8 +149,8 @@ (and (n.= size flat-size) (&/= extra flat-body))))] - ["universally-quantified" &;univq &;flatten-univq] - ["existentially-quantified" &;exq &;flatten-exq] + ["universally-quantified" &;univ-q &;flatten-univ-q] + ["existentially-quantified" &;ex-q &;flatten-ex-q] )] ($_ seq <quant-tests> |