Fix a typo.
This commit is contained in:
parent
4db7da7a4c
commit
022a271565
|
@ -807,7 +807,7 @@ module Emacs(M : sig end) = struct
|
||||||
| None ->
|
| None ->
|
||||||
let success = process_checked_phrase phrase in
|
let success = process_checked_phrase phrase in
|
||||||
if success then
|
if success then
|
||||||
loop phrases
|
loop more_phrases
|
||||||
else
|
else
|
||||||
()
|
()
|
||||||
end
|
end
|
||||||
|
@ -854,7 +854,7 @@ module Emacs(M : sig end) = struct
|
||||||
loop_commands history_prev history_next
|
loop_commands history_prev history_next
|
||||||
else
|
else
|
||||||
loop ()
|
loop ()
|
||||||
| Some ("input-multi", arg) ->
|
| Some ("input-multi", _) ->
|
||||||
let continue =
|
let continue =
|
||||||
try
|
try
|
||||||
process_input_multi ();
|
process_input_multi ();
|
||||||
|
|
Loading…
Reference in New Issue