Eliminate redundant checks of newtype and opaque function well-formedness from included files

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Dafny/Parser.cs b/Source/Dafny/Parser.cs
index 6342e9c7..3085c975 100644
--- a/Source/Dafny/Parser.cs
+++ b/Source/Dafny/Parser.cs
@@ -795,10 +795,10 @@ bool IsType(ref IToken pt) {
 			if (baseType == null) { baseType = new OperationTypeProxy(true, true, false, false, false); } 

 			Expect(22);

 			Expression(out wh, false, true);

-			td = new NewtypeDecl(id, id.val, module, new BoundVar(bvId, bvId.val, baseType), wh, attrs); 

+			td = new NewtypeDecl(theVerifyThisFile ? id : new IncludeToken(id), id.val, module, new BoundVar(bvId, bvId.val, baseType), wh, attrs); 

 		} else if (StartOf(3)) {

 			Type(out baseType);

-			td = new NewtypeDecl(id, id.val, module, baseType, attrs); 

+			td = new NewtypeDecl(theVerifyThisFile ? id : new IncludeToken(id), id.val, module, baseType, attrs); 

 		} else SynErr(142);

 	}