1 files changed, 20 insertions, 0 deletions
diff --git a/test-suite/bugs/closed/shouldsucceed/1446.v b/test-suite/bugs/closed/shouldsucceed/1446.v
new file mode 100644
index 00000000..d4e7cea8
--- /dev/null
+++ b/test-suite/bugs/closed/shouldsucceed/1446.v
@@ -0,0 +1,20 @@
+Lemma not_true_eq_false : forall (b:bool), b <> true -> b = false.
+Proof.
+ destruct b;intros;trivial. 
+ elim H. 
+ exact (refl_equal true). 
+Qed.
+
+Section BUG.
+
+ Variable b : bool.
+ Hypothesis H  : b <> true.
+ Hypothesis H0 : b = true.
+ Hypothesis H1 : b <> true.
+
+ Goal False.
+  rewrite (not_true_eq_false _ H) in * |-. 
+  contradiction.
+ Qed.
+
+End BUG.