diff options
| author | Maxime Dénès | 2016-10-21 09:55:28 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-10-21 09:55:28 +0200 |
| commit | a5b977e3acb6d2cd73ed6c895a7d4b587366caa9 (patch) | |
| tree | 8bb02a679fa3530185c8d6663de4f92a0ce5d59c /test-suite | |
| parent | 3e536acf2ebcd078314dcac2a79d267c95db7bf8 (diff) | |
| parent | 2dfe032fd42f2489320936fe1e60c9cf7dafe8cf (diff) | |
Merge remote-tracking branch 'github/pr/233' into v8.6
Was PR#233: [search] Search result streaming
Diffstat (limited to 'test-suite')
| -rw-r--r-- | test-suite/output/SearchPattern.out | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test-suite/output/SearchPattern.out b/test-suite/output/SearchPattern.out index 1eb7eca8f1..f3c12effca 100644 --- a/test-suite/output/SearchPattern.out +++ b/test-suite/output/SearchPattern.out @@ -40,7 +40,6 @@ Nat.land: nat -> nat -> nat Nat.lor: nat -> nat -> nat Nat.ldiff: nat -> nat -> nat Nat.lxor: nat -> nat -> nat - S: nat -> nat Nat.succ: nat -> nat Nat.pred: nat -> nat @@ -74,7 +73,6 @@ le_n: forall n : nat, n <= n pair: forall A B : Type, A -> B -> A * B conj: forall A B : Prop, A -> B -> A /\ B Nat.divmod: nat -> nat -> nat -> nat -> nat * nat - h: n <> newdef n h: n <> newdef n h: P n |