In the release notes for version 1.9.7 we can read *"/autoTriggers:1 is default in Visual Studio IDE (soon to become the default also in the Emacs IDE and from the command line)"*. However, */autoTriggers:1* is the default from the command line in 1.9.7.
In fact, it was enabled in changeset [b22c6df8746d](https://dafny.codeplex.com/SourceControl/changeset/b22c6df8746d) by @qunyanm (28 March). The following program proves this fact:
```
method Main() {
assert forall i : nat :: i == 2 * i;
}
```
Using 1.9.7., the same output is produced whether executing with `/autoTriggers:1` or without any parameter at all. Instead, when executed with `/autoTriggers:0` Dafny's output changes, and no `test.dfy(2,9): Warning: /!\ No terms found to trigger on.` appears.
In fact, it was enabled in changeset [b22c6df8746d](https://dafny.codeplex.com/SourceControl/changeset/b22c6df8746d) by @qunyanm (28 March). The following program proves this fact:
```
method Main() {
assert forall i : nat :: i == 2 * i;
}
```
Using 1.9.7., the same output is produced whether executing with `/autoTriggers:1` or without any parameter at all. Instead, when executed with `/autoTriggers:0` Dafny's output changes, and no `test.dfy(2,9): Warning: /!\ No terms found to trigger on.` appears.