Index: src/Concurrency/Actors.cpp
===================================================================
--- src/Concurrency/Actors.cpp	(revision 53dac826f0d887299b0b6ee89f1cb8b5cc850e88)
+++ src/Concurrency/Actors.cpp	(revision ab9c1b38b9c10656b2bdc0e0745ef1ed831b5d8a)
@@ -265,5 +265,4 @@
                 decl->location,
                 "__CFA_receive_wrap",
-                {},                     // forall
                 {
                     new ObjectDecl(
@@ -288,5 +287,5 @@
                     )
                 },                      // params
-                { 
+                {
                     new ObjectDecl(
                         decl->location,
@@ -400,5 +399,5 @@
 				)
 			));
-            
+
             // Generates: return receiver;
             sendBody->push_back( new ReturnStmt( decl->location, new NameExpr( decl->location, "receiver" ) ) );
@@ -408,5 +407,4 @@
                 decl->location,
                 "?|?",
-                {},                     // forall
                 {
                     new ObjectDecl(
@@ -421,5 +419,5 @@
                     )
                 },                      // params
-                { 
+                {
                     new ObjectDecl(
                         decl->location,
@@ -434,5 +432,5 @@
                 { Function::Inline }
             );
-            
+
             // forward decls to resolve use before decl problem for '|' routines
             forwardDecls.insertDecl( *actorIter, *messageIter , ast::deepCopy( sendOperatorFunction ) );
Index: src/Concurrency/Corun.cpp
===================================================================
--- src/Concurrency/Corun.cpp	(revision 53dac826f0d887299b0b6ee89f1cb8b5cc850e88)
+++ src/Concurrency/Corun.cpp	(revision ab9c1b38b9c10656b2bdc0e0745ef1ed831b5d8a)
@@ -113,5 +113,4 @@
             new FunctionDecl( loc,
                 fnName,                                             // name
-                {},                                                 // forall
                 {
                     new ObjectDecl( loc,
@@ -261,5 +260,4 @@
             new FunctionDecl( loc,
                 fnName,                                             // name
-                {},                                                 // forall
                 {},                                                 // params
                 {},                                                 // return
Index: src/Concurrency/KeywordsNew.cpp
===================================================================
--- src/Concurrency/KeywordsNew.cpp	(revision 53dac826f0d887299b0b6ee89f1cb8b5cc850e88)
+++ src/Concurrency/KeywordsNew.cpp	(revision ab9c1b38b9c10656b2bdc0e0745ef1ed831b5d8a)
@@ -482,5 +482,4 @@
 		location,
 		getter_name,
-		{}, // forall
 		{ this_decl }, // params
 		{ ret_decl }, // returns
@@ -499,5 +498,4 @@
 			location,
 			"main",
-			{},
 			{ ast::deepCopy( this_decl ) },
 			{},
@@ -575,5 +573,4 @@
 		location,
 		"lock",
-		{ /* forall */ },
 		{
 			// Copy the declaration of this.
@@ -607,5 +604,4 @@
 		location,
 		"unlock",
-		{ /* forall */ },
 		{
 			// Last use, consume the declaration of this.
Index: src/Concurrency/Waituntil.cpp
===================================================================
--- src/Concurrency/Waituntil.cpp	(revision 53dac826f0d887299b0b6ee89f1cb8b5cc850e88)
+++ src/Concurrency/Waituntil.cpp	(revision ab9c1b38b9c10656b2bdc0e0745ef1ed831b5d8a)
@@ -553,5 +553,4 @@
     return new FunctionDecl( loc,
         predName,
-        {},                     // forall
         {
             new ObjectDecl( loc,
@@ -560,5 +559,5 @@
             )
         },
-        { 
+        {
             new ObjectDecl( loc,
                 "sat_ret",