src/Pure/RAW/exn_trace_dummy.ML

--- a/src/Pure/RAW/exn_trace_dummy.ML	Sun Feb 28 21:20:51 2016 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-(*  Title:      Pure/RAW/exn_trace.ML
-    Author:     Makarius
-
-Exception trace dummy.
-*)
-
-fun print_exception_trace (_: exn -> string) (_: string -> unit) = PolyML.exception_trace;