Remove broken check.

This check is performed a few lines below. Worse, the check is missing begin/end, so nothing actually happens to the input programs.
reactorlabs · Jun 6, 2017 · 880e686 · 880e686
1 parent dcce460
commit 880e686
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/sourir.ml b/sourir.ml
@@ -29,11 +29,6 @@ let () =
       exit 2
   in
 
-  try Check.well_formed program with
-  | Check.MissingMain ->
-    Printf.eprintf "Program is missing an explicit or implicit main function\n";
-  | _ -> ();
-
   let program =
     if !autofix
     then Transform.try_opt Transform.normalize_graph program