From 3591426d448e46f0b0d9f8054acbe52ee08668ea Mon Sep 17 00:00:00 2001
From: Sean Bowe <ewillbefull@gmail.com>
Date: Mon, 4 Jul 2016 13:58:11 -0600
Subject: [PATCH] Add test

---
 src/lib.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib.rs b/src/lib.rs
index 41535c6..9512482 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -400,6 +400,7 @@ fn test_binlinearity() {
 
         let t = Fr::zero().sub(&Fr::one());
 
+        assert!(a != Gt::new(Fq12::one()));
         assert_eq!((&a ^ t) * &a, Gt::new(Fq12::one()));
     }
 }