Update README.md

README.md

@@ -71,7 +71,7 @@ A query can only be specified by an intersection type, but a combinator can be s
 **Parameterized types** add quantifiers and predicates in front of an intersection type and allow for literal variables inside the intersection type.
 Usage is best explained in an example:
 
-    DSL().Use('x', 'int').Use('y', int).With(lambda x, y: x > y).In(LVar('x') ** LVar('y'))
+    DSL().Use('x', 'int').Use('y', 'int').With(lambda x, y: x > y).In(LVar('x') ** LVar('y'))
 
 This corresponds to each type in the form x → y where x and y are numbers and x > y.