From 22caa75faafc43672b6c4e8cf09ce1158f28e721 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <edu@thorsten-wissmann.de>
Date: Mon, 2 Feb 2015 12:22:18 +1100
Subject: [PATCH] Disable old repl example which caused warnings

---
 src/repl-example/repl-example.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/repl-example/repl-example.ml b/src/repl-example/repl-example.ml
index 17fd02c..2ea3fcb 100644
--- a/src/repl-example/repl-example.ml
+++ b/src/repl-example/repl-example.ml
@@ -2,6 +2,7 @@
 open Curses
 open Readline
 
+(*
 let main1 () =
   let (Some message) = Readline.readline() in
   let main_window = initscr () in
@@ -11,7 +12,7 @@ let main1 () =
   refresh();
   Unix.sleep 3;
   endwin()
-
+*)
 
 let main2 () =
   let redraw() = 
-- 
GitLab