diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-11-05 16:00:59 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-11-06 19:59:22 +0100 |
| commit | f30d9777fe19c4e7cc0727947474e08668acae8f (patch) | |
| tree | ec7e1a64219fbc252c6aeb60f75fa4be7706bca3 /test-suite/output/SearchPattern.out | |
| parent | ca609f7ea0653a282a81e5d4f9392b1c05a03d8f (diff) | |
Consequence of changing the definition of Nat.shiftl and Nat.shiftr.
Diffstat (limited to 'test-suite/output/SearchPattern.out')
| -rw-r--r-- | test-suite/output/SearchPattern.out | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/test-suite/output/SearchPattern.out b/test-suite/output/SearchPattern.out index ae37aaf32..74bbf6882 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 |