Browse Source

fixed multiple completion

Nicolas Cannasse 14 years ago
parent
commit
ed5d0adbb2
1 changed files with 1 additions and 0 deletions
  1. 1 0
      main.ml

+ 1 - 0
main.ml

@@ -696,6 +696,7 @@ with
 			fields
 		in
 		report_list fields;
+		exit 0
 	| Typer.DisplayTypes tl ->
 		let ctx = Type.print_context() in
 		List.iter (fun t ->