# HG changeset patch # User jwe # Date 1159274452 0 # Node ID e1eb3a91e4942a2e536e62a3f64e05371afe2178 # Parent 49dfdb54bb2b31ffebeeb20a949260d5a24ff565 [project @ 2006-09-26 12:40:52 by jwe] diff -r 49dfdb54bb2b -r e1eb3a91e494 src/error.cc --- a/src/error.cc Sat Sep 23 13:33:09 2006 +0000 +++ b/src/error.cc Tue Sep 26 12:40:52 2006 +0000 @@ -524,7 +524,7 @@ { // Handle this warning as an error. - error (id, fmt, args); + error_2 (id, fmt, args); } else if (warn_opt == 1) {