1 files changed, 10 insertions, 0 deletions
diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs
index c7edbc68..95e71b90 100644
--- a/Source/Core/AbsyCmd.cs
+++ b/Source/Core/AbsyCmd.cs
@@ -2988,6 +2988,16 @@ namespace Microsoft.Boogie {
       //Contract.Requires(tc != null);
       // nothing to typecheck
     }
+
+    public override string ToString()
+    {
+        Contract.Ensures(Contract.Result<string>() != null);
+        System.IO.StringWriter buffer = new System.IO.StringWriter();
+        using (TokenTextWriter stream = new TokenTextWriter("<buffer>", buffer, /*setTokens=*/ false , /*pretty=*/ false)) {
+            this.Emit(stream, 0);
+        }
+        return buffer.ToString();
+    }
   }
   [ContractClassFor(typeof(TransferCmd))]
   public abstract class TransferCmdContracts : TransferCmd {