From 49b9c4a516f72e03d53277075f4580e2df8f0e63 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Mon, 27 May 2024 12:04:53 +0200
Subject: Some type fixes and some cleanup

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

(limited to 'TODO.txt')

diff --git a/TODO.txt b/TODO.txt
index 6a905e0..b310e70 100644
--- a/TODO.txt
+++ b/TODO.txt
@@ -1,6 +1,6 @@
 Correctness
-  - Check all cases of bitwise operations for type mismatch,
-    force cast to same type. Change to ULL where appropriate.
+  - check all bitwise operations specifically
+  - consider adding more warnings (-pedantic?) or using more static analyzers
 
 Solver
   - write a solver (how many tricks? some, but not all are needed)
-- 
cgit v1.3