diff --git a/src/repl-example/repl-example.ml b/src/repl-example/repl-example.ml index 17fd02cee24e4f23e7ca01838315ee745df2c1e9..2ea3fcb57732ed8b74bb449e0ec6c6045760622b 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() =