fixed small pb with multiple errors line number. · 0418544027 - Gogs

fixed small pb with multiple errors line number.

Nicolas Cannasse 19 years ago

parent

5afc7d31aa

commit

0418544027

1 changed files with 1 additions and 0 deletions

Split View Show Diff Stats

						
							+ 1
							
							- 0
						
main.ml
							 
								View File
							
				@@ -66,6 +66,7 @@ let type_error e p =
			
				 	has_error := true
			
				 let parse_error e p =
			
				+	Lexer.save_lines();
			
				 	warn (Parser.error_msg e) p;
			
				 	has_error := true