From 13b1ff5c8ab2495161bf182d1e44152f4ef923c9 Mon Sep 17 00:00:00 2001
From: Moritz Lenz <mlenz@wvbh074.physik.uni-wuerzburg.de>
Date: Mon, 29 Jun 2009 10:10:59 +0200
Subject: [PATCH] don't generate junction for infix:<eqv> which lives in the
 setting anyway. jnthn++

---
 build/gen_junction_pir.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/gen_junction_pir.pl b/build/gen_junction_pir.pl
index 3a8f05cf7c1..e1e028ddbe6 100644
--- a/build/gen_junction_pir.pl
+++ b/build/gen_junction_pir.pl
@@ -12,7 +12,7 @@
   infix:~
   infix:== infix:!= infix:<  infix:>  infix:<= infix:>=
   infix:eq infix:ne infix:lt infix:gt infix:le infix:ge
-  infix:<=> infix:leg infix:cmp infix:eqv infix:=:=
+  infix:<=> infix:leg infix:cmp infix:=:=
 );
 
 my @unary = qw(