1 files changed, 4 insertions, 0 deletions
diff --git a/src/main.cpp b/src/main.cpp
index b334114d..3573f138 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -67,6 +67,7 @@ void init_debug_list()
     g_debug_disable_map.insert( "Constant Evaluate Full" );
     g_debug_disable_map.insert( "MIR Cleanup" );
     g_debug_disable_map.insert( "MIR Optimise" );
+    g_debug_disable_map.insert( "MIR Validate PO" );
 
     g_debug_disable_map.insert( "HIR Serialise" );
     g_debug_disable_map.insert( "Trans Enumerate" );
@@ -422,6 +423,9 @@ int main(int argc, char *argv[])
         CompilePhaseV("MIR Optimise", [&]() {
             MIR_OptimiseCrate(*hir_crate);
             });
+        CompilePhaseV("MIR Validate PO", [&]() {
+            MIR_CheckCrate(*hir_crate);
+            });
 
         CompilePhaseV("Dump MIR", [&]() {
             ::std::ofstream os (FMT(params.outfile << "_3_mir.rs"));