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/ivyivyprobe.ml | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 trunk/examples/ivyivyprobe.ml

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

diff --git a/trunk/examples/ivyivyprobe.ml b/trunk/examples/ivyivyprobe.ml
new file mode 100644
index 0000000..b51a708
--- /dev/null
+++ b/trunk/examples/ivyivyprobe.ml
@@ -0,0 +1,8 @@
+let _ =
+  Ivyprobe.init ();
+  try
+    ignore (IvyLoop.set_up_channel Unix.stdin Ivy.stop (fun _ -> Ivyprobe.read stdin));
+    IvyLoop.main ()
+  with
+    End_of_file -> Ivy.stop ()
+
-- 
cgit v1.1