darn that broke input

This commit is contained in:
Michael Zhang 2018-02-20 05:58:36 -06:00
parent 1fee023bd2
commit ed836f6790
No known key found for this signature in database
GPG key ID: A1B65B603268116B

View file

@ -89,8 +89,7 @@ let _ =
let rec loop ctx =
try
print_string "> "; flush stdout;
let line = input_line stdin in
let lexbuf = Lexing.from_string line in
let lexbuf = Lexing.from_channel stdin in
let x = Parser.main Lexer.token lexbuf in
match x with
| Types.Term t ->