diff options
Diffstat (limited to 'Source/Dafny/DafnyAst.cs')
-rw-r--r-- | Source/Dafny/DafnyAst.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs index 69756d76..d923e5dc 100644 --- a/Source/Dafny/DafnyAst.cs +++ b/Source/Dafny/DafnyAst.cs @@ -2232,7 +2232,7 @@ namespace Microsoft.Dafny { switch (op) {
case Opcode.Iff:
- return "==";
+ return "<==>";
case Opcode.Imp:
return "==>";
case Opcode.And:
|