From a38664609549d51eac5785fce78004dae0531857 Mon Sep 17 00:00:00 2001
From: Evan Hanson <address@hidden>
Date: Sat, 18 Apr 2015 18:21:17 +1200
Subject: [PATCH 2/2] Don't consider #t not always-true

---
 scrutinizer.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scrutinizer.scm b/scrutinizer.scm
index b363ccd..6c181cb 100644
--- a/scrutinizer.scm
+++ b/scrutinizer.scm
@@ -209,7 +209,7 @@
 	       ((or) (every always-true1 (cdr t)))
 	       ((forall) (always-true1 (third t)))
 	       (else #t)))
-	    ((memq t '(* boolean true false undefined noreturn)) #f)
+	    ((memq t '(* boolean false undefined noreturn)) #f)
 	    (else #t)))
 
     (define (always-true t loc x)
-- 
2.1.4