summaryrefslogtreecommitdiff
path: root/tests/Kref
diff options
context:
space:
mode:
Diffstat (limited to 'tests/Kref')
-rw-r--r--tests/Kref2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/Kref b/tests/Kref
index a60561e..b538b15 100644
--- a/tests/Kref
+++ b/tests/Kref
@@ -20,7 +20,7 @@ config MANY_REF
select N if (A || !(B && (C = O)))
imply P if Q = R || S != T
imply U if (A || !(B && (C = V)))
-
+ default A if A < W || X < A || A <= Y || A > Z || A >= AA
endif
endmenu