1 files changed, 3 insertions, 1 deletions
diff --git a/src/main.cpp b/src/main.cpp
index 488cafaa..14fa1c2e 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -248,7 +248,9 @@ int main(int argc, char *argv[])
             });
         
         // Validate the MIR
-        // TODO: ^
+        CompilePhaseV("MIR Validate", [&]() {
+            MIR_CheckCrate(*hir_crate);
+            });
 
         CompilePhaseV("Dump MIR", [&]() {
             ::std::ofstream os (FMT(params.outfile << "_3_mir.rs"));