From 7bd93b0d6000766d766da4a73dbe44e4189b2085 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Sun, 8 Nov 2020 00:22:53 +0100
Subject: fixup

---
 test-suite/ssr/ipat_swap.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test-suite/ssr/ipat_swap.v b/test-suite/ssr/ipat_swap.v
index 9ca7f256dc..1d78a2a009 100644
--- a/test-suite/ssr/ipat_swap.v
+++ b/test-suite/ssr/ipat_swap.v
@@ -2,7 +2,7 @@ Require Import ssreflect.
 
 Section Swap.
 
-Variable P : nat -> bool.
+Definition P n := match n with 1 => true | _ => false end.
 
 Lemma test_swap1 : forall (n : nat) (b : bool), P n = b.
 Proof. move=> /[swap] b n; suff: P n = b by []. Abort.
-- 
cgit v1.2.3