:autoReq now works with static functions.

This required fixing a small bug in how StaticReceiverExpr's were being handled

1 files changed, 3 insertions, 1 deletions

diff --git a/Source/Dafny/Cloner.cs b/Source/Dafny/Cloner.cs
index 55b23827..ba30af5c 100644
--- a/Source/Dafny/Cloner.cs
+++ b/Source/Dafny/Cloner.cs
@@ -200,7 +200,9 @@ namespace Microsoft.Dafny
         return null;

       } else if (expr is LiteralExpr) {

         var e = (LiteralExpr)expr;

-        if (e.Value == null) {

+        if (e is StaticReceiverExpr) {

+          return new StaticReceiverExpr(e.tok, e.Type);

+        } else if (e.Value == null) {          

           return new LiteralExpr(Tok(e.tok));

         } else if (e.Value is bool) {

           return new LiteralExpr(Tok(e.tok), (bool)e.Value);