From 0bf37a2e21da949a2e6ace095f45dbbc850863a1 Mon Sep 17 00:00:00 2001
From: John David Pressman <jd@jdpressman.com>
Date: Thu, 24 Oct 2019 09:13:31 -0700
Subject: [PATCH] Fix boolean tests for CameLIGO

---
 src/test/contracts/boolean_operators.mligo | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/test/contracts/boolean_operators.mligo b/src/test/contracts/boolean_operators.mligo
index 7939ccf47..7eb3cfd69 100644
--- a/src/test/contracts/boolean_operators.mligo
+++ b/src/test/contracts/boolean_operators.mligo
@@ -1,16 +1,16 @@
 // Test CameLIGO boolean operators
 
 let or_true (b : bool) : bool =
-   b or True
+   b || true
 
 let or_false (b : bool) : bool =
-   b or False
+   b || false
 
 let and_true (b : bool) : bool =
-   b and True
+   b && true
 
 let and_false (b : bool) : bool =
-   b and False
+   b && false
 
 let not_bool (b: bool) : bool =
    not b