From b9524a7609ed0d4d40ef19c77dcf32c0202f7564 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Tue, 17 Sep 2013 12:31:17 +0100
Subject: [PATCH] example: Remove code which is now implicitly generated.
---
examples/compile-c/compile.ml | 11 -----------
1 file changed, 11 deletions(-)
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
--
GitLab