From 6ec2e7d5413eda0671a20a0069aa8d89d8117c0a Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Sat, 25 May 2024 18:07:07 +0200
Subject: Minor improvement

---
 TODO.txt | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'TODO.txt')

diff --git a/TODO.txt b/TODO.txt
index 55f4a40..6a905e0 100644
--- a/TODO.txt
+++ b/TODO.txt
@@ -1,3 +1,7 @@
+Correctness
+  - Check all cases of bitwise operations for type mismatch,
+    force cast to same type. Change to ULL where appropriate.
+
 Solver
   - write a solver (how many tricks? some, but not all are needed)
 
-- 
cgit v1.3