From 22c1e6dbe7cf74936e5ca29eadeff81312ccc506 Mon Sep 17 00:00:00 2001
From: buisson
Date: Fri, 29 Apr 2005 09:35:43 +0000
Subject: Initial revision

---
 examples/ivyivyprobe.ml | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 examples/ivyivyprobe.ml

(limited to 'examples/ivyivyprobe.ml')

diff --git a/examples/ivyivyprobe.ml b/examples/ivyivyprobe.ml
new file mode 100644
index 0000000..b51a708
--- /dev/null
+++ b/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