From 1d6d4b2eba691926045cf2822550e0339652ea18 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Wed, 12 Feb 2014 14:54:08 +0000
Subject: Remove spurious declaration

---
 src/test/power.sail | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src')

diff --git a/src/test/power.sail b/src/test/power.sail
index 9dffb7c0..571da4cd 100644
--- a/src/test/power.sail
+++ b/src/test/power.sail
@@ -4,8 +4,6 @@ val extern forall Type 'a . ( 'a * 'a ) -> 'a effect pure (deinfix : ) = "vec_co
 
 val extern forall Type 'a . ( 'a * 'a ) -> bit effect pure (deinfix != ) = "neq"
 
-val extern forall Type 'a . ( 'a * 'a ) -> bool effect pure (deinfix != ) = "neq"
-
 val extern bit -> bit effect pure (deinfix ~ ) = "bitwise-not"
 val extern ( bit * bit ) -> bit effect pure (deinfix ^ ) = "bitwise-xor"
 val extern ( bit * bit ) -> bit effect pure (deinfix & ) = "bitwise-and"
-- 
cgit v1.2.3