# HG changeset patch
# User berghofe
# Date 1217869015 -7200
# Node ID ce8f79b91ed117a3467c0ffa50ca05c1667cfe31
# Parent  d657036e26c56d4f67e0501fce3f0b0e1a28279a
Exported eval_wrapper.

diff -r d657036e26c5 -r ce8f79b91ed1 src/Pure/ML/ml_context.ML
--- a/src/Pure/ML/ml_context.ML	Mon Aug 04 18:56:22 2008 +0200
+++ b/src/Pure/ML/ml_context.ML	Mon Aug 04 18:56:55 2008 +0200
@@ -29,6 +29,7 @@
   val add_antiq: string ->
     (Context.generic * Args.T list -> antiq * (Context.generic * Args.T list)) -> unit
   val trace: bool ref
+  val eval_wrapper: (string -> unit) * (string -> 'a) -> bool -> Position.T -> string -> unit
   val eval: bool -> Position.T -> string -> unit
   val eval_file: Path.T -> unit
   val eval_in: Context.generic option -> bool -> Position.T -> string -> unit