diff options
Diffstat (limited to 'stdlib/test')
-rw-r--r-- | stdlib/test/test/lux/type/auto.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/test/test/lux/type/auto.lux b/stdlib/test/test/lux/type/auto.lux index ef69961cd..eb25a2371 100644 --- a/stdlib/test/test/lux/type/auto.lux +++ b/stdlib/test/test/lux/type/auto.lux @@ -25,4 +25,4 @@ y R;nat] (assert "Can automatically select first-order structures." (B/= (:: number;Eq<Nat> = x y) - (::: eq;= x y)))) + (::: = x y)))) |