diff --git a/tinygrad/uop/validate.py b/tinygrad/uop/validate.py index fafe08fc8e..af5b6af29b 100644 --- a/tinygrad/uop/validate.py +++ b/tinygrad/uop/validate.py @@ -12,7 +12,7 @@ try: def z3_cdiv(a, b):return z3.If((a<0), z3.If(0