diff options
-rw-r--r-- | src/outputBuffer.c | 5 | ||||
-rw-r--r-- | src/outputBuffer.h | 5 |
2 files changed, 4 insertions, 6 deletions
diff --git a/src/outputBuffer.c b/src/outputBuffer.c index 5a397ac42..88191fd18 100644 --- a/src/outputBuffer.c +++ b/src/outputBuffer.c @@ -101,11 +101,6 @@ void ob_set_lazy(bool lazy) ob.lazy = lazy; } -int ob_is_empty(void) -{ - return ob.begin == ob.end; -} - void ob_shift(void) { assert(ob.begin != ob.end); 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); |