From a17272283c803e13258e5dc6b19533c672ceee18 Mon Sep 17 00:00:00 2001
From: hattenberger
Date: Wed, 27 Mar 2013 13:17:19 +0000
Subject: some fixes in ivy-ocaml tag 1.2

---
 trunk/examples/tkivyprobe.ml | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 trunk/examples/tkivyprobe.ml

(limited to 'trunk/examples/tkivyprobe.ml')

diff --git a/trunk/examples/tkivyprobe.ml b/trunk/examples/tkivyprobe.ml
new file mode 100644
index 0000000..67ee3aa
--- /dev/null
+++ b/trunk/examples/tkivyprobe.ml
@@ -0,0 +1,10 @@
+let _ =
+  Ivyprobe.init ();
+  let top = Tk.openTk () in
+  try
+    ignore (TkIvy.set_up_channel Unix.stdin Ivy.stop (fun _ -> Ivyprobe.read stdin));
+    TkIvy.main ()
+  with
+    End_of_file -> Ivy.stop ()
+
+
-- 
cgit v1.1