Changes in src/main.cc [ed1a7ab8:14c0f7b]

File:

• src/main.cc (modified) (3 diffs)

src/main.cc

@@ -334 +334 @@
                 PASS( "Link Reference To Types", Validate::linkReferenceToTypes, transUnit );
 
+                PASS( "Forall Pointer Decay", Validate::decayForallPointers, transUnit );
                 PASS( "Fix Qualified Types", Validate::fixQualifiedTypes, transUnit );
                 PASS( "Eliminate Typedef", Validate::eliminateTypedef, transUnit );
@@ -342 +343 @@
                 PASS( "Fix Return Statements", InitTweak::fixReturnStatements, transUnit );
                 PASS( "Implement Concurrent Keywords", Concurrency::implementKeywords, transUnit );
-                PASS( "Forall Pointer Decay", Validate::decayForallPointers, transUnit );
+                PASS( "Fix Unique Ids", Validate::fixUniqueIds, transUnit );
                 PASS( "Hoist Control Declarations", ControlStruct::hoistControlDecls, transUnit );
 
@@ -369 +370 @@
                 PASS( "Translate Throws", ControlStruct::translateThrows, transUnit );
                 PASS( "Fix Labels", ControlStruct::fixLabels, transUnit );
-        PASS( "Implement Waituntil", Concurrency::generateWaitUntil, transUnit  );
+                PASS( "Implement Waituntil", Concurrency::generateWaitUntil, transUnit  );
                 PASS( "Fix Names", CodeGen::fixNames, transUnit );
                 PASS( "Gen Init", InitTweak::genInit, transUnit );