diff options
Diffstat (limited to '')
| -rw-r--r-- | src/outputBuffer.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/outputBuffer.h b/src/outputBuffer.h index e1878196e..53c3893c9 100644 --- a/src/outputBuffer.h +++ b/src/outputBuffer.h @@ -78,7 +78,10 @@ void ob_flush(void); void ob_set_lazy(bool lazy); /** is the buffer empty? */ -int ob_is_empty(void); +static inline bool ob_is_empty(void) +{ + return ob.begin == ob.end; +} void ob_shift(void); |