Merge pull request #170 from jaredly/patch-1

typo
This commit is contained in:
Jérémie Dimino 2016-07-04 07:54:20 +01:00 committed by GitHub
commit f84b9b10ae
1 changed files with 1 additions and 1 deletions

View File

@ -136,7 +136,7 @@ let is_accept : LTerm_read_line.action -> bool = function
| Accept -> true | Accept -> true
| action -> action == UTop.end_and_accept_current_phrase | action -> action == UTop.end_and_accept_current_phrase
(* Read a phrase. If the result is a value, it is guaranteed to by a (* Read a phrase. If the result is a value, it is guaranteed to be a
valid phrase (i.e. typable and compilable). It also returns valid phrase (i.e. typable and compilable). It also returns
warnings printed parsing. *) warnings printed parsing. *)
class read_phrase ~term = object(self) class read_phrase ~term = object(self)