From f30d9777fe19c4e7cc0727947474e08668acae8f Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 5 Nov 2014 16:00:59 +0100
Subject: Consequence of changing the definition of Nat.shiftl and Nat.shiftr.

---
 test-suite/output/SearchPattern.out | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/test-suite/output/SearchPattern.out b/test-suite/output/SearchPattern.out
index ae37aaf322..74bbf6882e 100644
--- a/test-suite/output/SearchPattern.out
+++ b/test-suite/output/SearchPattern.out
@@ -35,8 +35,6 @@ Nat.sqrt: nat -> nat
 Nat.log2_iter: nat -> nat -> nat -> nat -> nat
 Nat.log2: nat -> nat
 Nat.div2: nat -> nat
-Nat.shiftl: nat -> nat -> nat
-Nat.shiftr: nat -> nat -> nat
 Nat.bitwise: (bool -> bool -> bool) -> nat -> nat -> nat -> nat
 Nat.land: nat -> nat -> nat
 Nat.lor: nat -> nat -> nat
@@ -62,8 +60,6 @@ Nat.sqrt: nat -> nat
 Nat.log2_iter: nat -> nat -> nat -> nat -> nat
 Nat.log2: nat -> nat
 Nat.div2: nat -> nat
-Nat.shiftl: nat -> nat -> nat
-Nat.shiftr: nat -> nat -> nat
 Nat.bitwise: (bool -> bool -> bool) -> nat -> nat -> nat -> nat
 Nat.land: nat -> nat -> nat
 Nat.lor: nat -> nat -> nat
-- 
cgit v1.2.3