diff --git a/test/OddEven.agda b/test/OddEven.agda
index a5663de..1721443 100644
--- a/test/OddEven.agda
+++ b/test/OddEven.agda
@@ -1,4 +1,4 @@
-data Bool : Set where true false : Bool
+data Bool : Set where false true : Bool
 
 not : Bool -> Bool
 not true  = false
diff --git a/test/Proj.agda b/test/Proj.agda
index 54099ed..f3cf3ab 100644
--- a/test/Proj.agda
+++ b/test/Proj.agda
@@ -1,4 +1,4 @@
-data Bool : Set where true false : Bool
+data Bool : Set where false true : Bool
 
 record Pair (A B : Set) : Set where
   constructor _,_