From 8d454c48d09361acdd994042b106b14117291457 Mon Sep 17 00:00:00 2001
From: Jon Pacheco <jon.pacheco2@gmail.com>
Date: Tue, 31 Mar 2020 14:15:29 +0100
Subject: [PATCH] Use != 0 instead of > 0

---
 examples/mysql/todos/src/main.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/mysql/todos/src/main.rs b/examples/mysql/todos/src/main.rs
index 4c39ef44..fd1ee34d 100644
--- a/examples/mysql/todos/src/main.rs
+++ b/examples/mysql/todos/src/main.rs
@@ -91,7 +91,7 @@ ORDER BY id
     for rec in recs {
         println!(
             "- [{}] {}: {}",
-            if rec.done > 0 { "x" } else { " " },
+            if rec.done != 0 { "x" } else { " " },
             rec.id,
             &rec.description,
         );