stage3/stage3.cc
changeset 444 92d40d2a7adc
parent 443 ff4d26b7e51d
child 508 dc6906338042
--- a/stage3/stage3.cc	Thu Feb 16 10:27:52 2012 +0000
+++ b/stage3/stage3.cc	Thu Feb 16 12:59:02 2012 +0000
@@ -54,7 +54,7 @@
 	tree_root->accept(fill_candidate_datatypes);
 	narrow_candidate_datatypes_c narrow_candidate_datatypes(tree_root);
 	tree_root->accept(narrow_candidate_datatypes);
- 	print_datatypes_error_c print_datatypes_error(tree_root);
+	print_datatypes_error_c print_datatypes_error(tree_root);
 	tree_root->accept(print_datatypes_error);
 	if (print_datatypes_error.get_error_found())
 		return -1;