diff --git a/artiq/test/lit/inferencer/unify.py b/artiq/test/lit/inferencer/unify.py
index 8dcb1e423..dcff73487 100644
--- a/artiq/test/lit/inferencer/unify.py
+++ b/artiq/test/lit/inferencer/unify.py
@@ -33,8 +33,8 @@ j = []
 j += [1.0]
 # CHECK-L: j:list(elt=float)
 
-1 if a else 2
-# CHECK-L: 1:numpy.int? if a:numpy.int? else 2:numpy.int?:numpy.int?
+1 if c else 2
+# CHECK-L: 1:numpy.int? if c:bool else 2:numpy.int?:numpy.int?
 
 True and False
 # CHECK-L: True:bool and False:bool:bool