# # # patch "ChangeLog" # from [745378c83b0f2b6e1fa4fdca85bbf5d50c9c8c6e] # to [c58d44f3ab3b74a6617e6e6fe08da4a7506d3c29] # # patch "sanity.cc" # from [bf8808adbc334786b458a370f14fa777c304f8b7] # to [113604698c798bcaea7d7d4fb42417090fe4cec1] # ============================================================ --- ChangeLog 745378c83b0f2b6e1fa4fdca85bbf5d50c9c8c6e +++ ChangeLog c58d44f3ab3b74a6617e6e6fe08da4a7506d3c29 @@ -1,3 +1,7 @@ +2006-05-16 Timothy Brownawell + + * sanity.cc: second sanity::set_quiet should be sanity::set_reallyquiet + 2006-05-19 Richard Levitte * monotone.cc, options.hh, sanity.cc, sanity.hh: Do not suppress ============================================================ --- sanity.cc bf8808adbc334786b458a370f14fa777c304f8b7 +++ sanity.cc 113604698c798bcaea7d7d4fb42417090fe4cec1 @@ -96,7 +96,7 @@ } void -sanity::set_quiet() +sanity::set_reallyquiet() { debug = false; quiet = true;