From 880e6866396fb0e7b9da56ad308e2d058a0e9579 Mon Sep 17 00:00:00 2001
From: Ming-Ho Yee <mh@mhyee.com>
Date: Mon, 5 Jun 2017 23:03:00 -0400
Subject: [PATCH] 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.
---
 sourir.ml | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/sourir.ml b/sourir.ml
index 8388f10..dc05b94 100644
--- 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