1 files changed, 1 insertions, 0 deletions

diff --git a/test/cases/header.bqn b/test/cases/header.bqn
index 65c690cd..b290464c 100644
--- a/test/cases/header.bqn
+++ b/test/cases/header.bqn
@@ -37,6 +37,7 @@
 ! % {_𝕣:÷3;4⋆5}
 ! % {_𝕣:𝔾𝕨}
 ! % {a o _r b:4;o _r:6}
+! % {a‿𝕩:a+1}
 
 # Labels
 5 % -{imm:a←4,a-9}