test-suite/bugs/opened/3312.v


1
2
3
4
5

Require Import Setoid.
Axiom bar : 0 = 1.
Goal 0 = 1.
  Fail rewrite_strat bar. (* Toplevel input, characters 15-32:
Error: Tactic failure:setoid rewrite failed: Nothing to rewrite. *)