patch::: 1.3.18.jcn3

[lilypond.git] / lib / warn.cc

diff --git a/lib/warn.cc b/lib/warn.cc
index afc6f7b9ceef32314c8303f0b4fd139d44061c8d..1df7cda734ace777af149bb0cf9f8b48be95f857 100644 (file)
--- a/lib/warn.cc
+++ b/lib/warn.cc
@@ -1,29 +1,37 @@
-#include "warn.hh"
 #include <stream.h>
+#include "warn.hh"
+
 
 void
 error (String s)
 {
-    cerr <<  _ ("error: ") << s << '\n';
+  cerr <<  _ ("error: ") << s << '\n';
 
-    exit (1);
+  exit (1);
 }
 
 void
 non_fatal_error (String s)
 {
-    cerr <<  _ ("error: ") << s << '\n';
+  cerr <<  _ ("error: ") << s << '\n';
 }
 
 void
 warning (String m)
 {
-    cerr << _ ("warning: ") <<m <<endl;
+  cerr << _ ("warning: ") <<m <<endl;
 
 }
 
 void
 message (String m)
 {
-    cerr << m<<endl;
+  cerr << m<<endl;
+}
+
+void
+programming_error (String s)
+{
+  cerr << _("programming error: ") << s << _(" (Continuing; cross thumbs)") << '\n';
 }
+