X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=examples%2Fcompile-c%2Fcompile.ml;h=151e8b79ec3ca82aecbff533bcf514be2cfb8ff2;hb=b9524a7609ed0d4d40ef19c77dcf32c0202f7564;hp=8e43948e6f99654c52a63ed674ba2554e7ffe457;hpb=05f0550f29bb9b99251aef52eb545b59741e3687;p=goaljobs.git

diff --git a/examples/compile-c/compile.ml b/examples/compile-c/compile.ml
index 8e43948..151e8b7 100644
--- a/examples/compile-c/compile.ml
+++ b/examples/compile-c/compile.ml
@@ -17,14 +17,3 @@ and compiled c_file =
   target (more_recent [o_file] [c_file]);
   require (file_exists c_file);
   sh "cd $builddir && cc -c %s -o %s" c_file o_file
-
-(* XXX IMPLICIT *)
-let () =
-  try goal_all ()
-  with
-  | Goal_result (Goal_failed msg) ->
-    prerr_endline ("error: " ^ msg);
-    exit 1
-  | exn ->
-    prerr_endline (Printexc.to_string exn);
-    exit 1