fix typo

Author: dakk

TODO.md

@@ -68,11 +68,12 @@
 - [x] Rewrite qcircuit abstraction
 - [x] Inner function
 - [x] Groover algorithm
+- [x] Tuple-tuple comparison
 
 ### Week 2: (30 Oct 23)
 
-- [x] Tuple-tuple comparison
 - [ ] Groover algorithm tests 
+- [ ] Slideshow for UF midterm
 
 ### Week 3: (6 Nov 23)
 

qlasskit/ast2logic/t_expression.py

@@ -201,7 +201,7 @@ def unfold(v_exps, op):
                     idx += 1
                 else:
                     for si in range(left.BIT_SIZE):
-                        c = And(c, op((bool, tleft[1][i]), (bool, tcomp[1][idx]))[1])
+                        c = And(c, op((bool, tleft[1][idx]), (bool, tcomp[1][idx]))[1])
                         idx += 1
 
             return (bool, c)