diff --git a/src/integrate.h b/src/integrate.h index 414ab640bf..19ed546a9b 100644 --- a/src/integrate.h +++ b/src/integrate.h @@ -52,6 +52,7 @@ class Integrate : protected Pointers { } #endif + /* ERROR/WARNING messages: */