diff options
Diffstat (limited to 'src/Util/WordUtil.v')
| -rw-r--r-- | src/Util/WordUtil.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Util/WordUtil.v b/src/Util/WordUtil.v index 58917dff5..745dde17c 100644 --- a/src/Util/WordUtil.v +++ b/src/Util/WordUtil.v @@ -473,7 +473,7 @@ Section WordToN. reflexivity. Qed. - Local Tactic Notation "replaceAt1" constr(x) "with" constr(y) "by" tactic(tac) := + Tactic Notation "replaceAt1" constr(x) "with" constr(y) "by" tactic(tac) := let tmp := fresh in set (tmp := x) at 1; replace tmp with y by (unfold tmp; tac); |