# HG changeset patch
# User michael
# Date 1081862255 0
# Node ID e5b0b33cf8aa6e06faafc8e2ae786916c98406db
# Parent  e935af90767bd92ec4142924e4103166aee6f1b5
assert(time_incr >= 0) so its clear that this MUST be the case

diff -r e935af90767b -r e5b0b33cf8aa h263.c
--- a/h263.c	Sun Apr 11 16:28:31 2004 +0000
+++ b/h263.c	Tue Apr 13 13:17:35 2004 +0000
@@ -2388,6 +2388,7 @@
     time_div= s->time/s->time_increment_resolution;
     time_mod= s->time%s->time_increment_resolution;
     time_incr= time_div - s->last_time_base;
+    assert(time_incr >= 0);
     while(time_incr--)
         put_bits(&s->pb, 1, 1);