Skip to content

Commit

Permalink
--change-log and spaces
Browse files Browse the repository at this point in the history
  • Loading branch information
Valerio Bigiani committed Apr 9, 2012
1 parent b51d380 commit b7c23fc
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/main.ml
Original file line number Original file line Diff line number Diff line change
Expand Up @@ -1664,7 +1664,7 @@ let main () =
try try
while true do while true do
let line = input_line infile in let line = input_line infile in
let parts = Str.split many_whitespace_regexp line in let parts = split_log_line line in
let (a,b) = match parts with let (a,b) = match parts with
| a :: b :: _ -> (a,b) | a :: b :: _ -> (a,b)
| a :: [] -> (a,"") | a :: [] -> (a,"")
Expand Down

0 comments on commit b7c23fc

Please sign in to comment.