diff options
Diffstat (limited to '')
| -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> |